Browsing Engineering (Faculty of) by Subject "dynamic program analysis"
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” ...