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...

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 59; no. 6; pp. 93 - 101
Autores principales:	Avgerinos, Thanassis, Rebert, Alexandre, Sang Kil Cha, Brumley, David
Formato:	Artículo
Publicado:	Association for Computing Machinery Jun2016
Materias:	Automation Computer software testing Computer software execution Debugging Debian (Operating system) Algorithms
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	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.