Browsing Theses by Subject "symbolic execution"
Now showing items 1-2 of 2
-
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” ... -
Improving Software Dependability through Documentation Analysis
(University of Waterloo, 2019-01-31)Software documentation contains critical information that describes a system’s functionality and requirements. Documentation exists in several forms, including code comments, test plans, manual pages, and user manuals. The ...