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
.
Enhancing symbolic execution with veritesting
2014
Proceedings of the 36th International Conference on Software Engineering - ICSE 2014
We present MergePoint, a new binary-only symbolic execution system for large-scale testing of commodity off-the-shelf (COTS) software. MergePoint introduces veritesting, a new technique that employs static symbolic execution to amplify the effect of dynamic symbolic execution. Veritesting allows MergePoint to find twice as many bugs, explore orders of magnitude more paths, and achieve higher code coverage than previous dynamic symbolic execution systems. MergePoint is currently running daily on
doi:10.1145/2568225.2568293
dblp:conf/icse/AvgerinosRCB14
fatcat:lju5ctb2dbfpnp6cbdyvpox4ka