A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
Scaling symbolic execution using ranged analysis
2012
SIGPLAN notices
This paper introduces a novel approach to scale symbolic execution-a program analysis technique for systematic exploration of bounded execution paths-for test input generation. While the foundations of symbolic execution were developed over three decades ago, recent years have seen a real resurgence of the technique, specifically for systematic bug finding. However, scaling symbolic execution remains a primary technical challenge due to the inherent complexity of the path-based exploration that
doi:10.1145/2398857.2384654
fatcat:36xmf3ibxjanfpu3fie7nwnk3a