Divide, Conquer and Verify: Improving Symbolic Execution Performance
The paper presents an approach to improve the performance of Symbolic Execution, a formal method used for verifying computer programs and detecting software vulnerabilities. The method proposed involves dividing the…
Continue reading