A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Automatic testing of symbolic execution engines via program generation and differential testing
2017
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)
Symbolic execution has attracted significant attention in recent years, with applications in software testing, security, networking and more. Symbolic execution tools, like CREST, KLEE, FuzzBALL, and Symbolic PathFinder, have enabled researchers and practitioners to experiment with new ideas, scale the technique to larger applications and apply it to new application domains. Therefore, the correctness of these tools is of critical importance. In this paper, we present our experience extending
doi:10.1109/ase.2017.8115669
dblp:conf/kbse/KapusC17
fatcat:xq7suq3zqnbytiztwd3w7jozlm