Techniques to facilitate symbolic execution of real-world programs
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 in developing high-quality software. Despite the fact that the symbolic executio...
| Main Author: | |
|---|---|
| Published: |
Georgia Institute of Technology
2012
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1853/44733 |