A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Incremental symbolic execution for automated test suite maintenance
2014
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14
Scaling software analysis techniques based on source-code, such as symbolic execution and data flow analyses, remains a challenging problem for systematically checking software systems. In this work, we aim to efficiently apply symbolic execution in increments based on versions of code. Our technique is based entirely on dynamic analysis and patches completely automated test suites based on the code changes. Our key insight is that we can eliminate constraint solving for unchanged code by
doi:10.1145/2642937.2642961
dblp:conf/kbse/MakhdoomKS14
fatcat:6mvcgrhwcvbn5eyt2eg4jwz6tu