Browsing CERCS Technical Reports by Subject "Symbolic Program Approximation (SPA)"
Now showing items 1-1 of 1
(Georgia Institute of Technology, 2009)Symbolic execution is a static-analysis technique that has been used for applications such as test-input generation and change analysis. Symbolic execution’s path sensitivity makes scaling it difficult. Despite recent ...