Now showing items 1-1 of 1
Techniques to facilitate symbolic execution of real-world programs
(Georgia Institute of Technology, 2012-05-11)
The overall goal of this research is to reduce the cost of software development and improve the quality of software. Symbolic execution is a program-analysis technique that is used to address several problems that arise ...