Browsing Engineering (Faculty of) by Subject "automated test-case generation"
Now showing items 1-1 of 1
Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries (University of Waterloo, 2016-05-18)Manual software testing is laborious and prone to human error. Yet, it is the most popular method for quality assurance. Automating the test-case generation promises better effectiveness, especially for exposing “deep” ...