Cover Image
QR Code

Enhancing Symbolic Execution with Veritesting.

The article on the Veritesting dynamic symbolic execution and path merging or static symbolic execution testing technique for automating software testing as a method of solving the "path explosion" problem is presented. The bug identification rate of MergePoint software with veritesting is compared...

Full description

Published in:Communications of the ACM Vol. 59; no. 6; pp. 93 - 101
Main Authors: Avgerinos, Thanassis, Rebert, Alexandre, Sang Kil Cha, Brumley, David
Format: Article
Published: Association for Computing Machinery Jun2016
Subjects:
Automation
Computer software testing
Computer software execution
Debugging
Debian (Operating system)
Algorithms
Online Access:View this record in EBSCOhost
Summary:The article on the Veritesting dynamic symbolic execution and path merging or static symbolic execution testing technique for automating software testing as a method of solving the "path explosion" problem is presented. The bug identification rate of MergePoint software with veritesting is compared to MergePoint without veritesting using Debian binaries and verification-based algorithms are presented as a technique to enhance symbolic execution.