Veritesting Tackles Path-Explosion Problem.
An 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 introduced.
| Publicado en: | Communications of the ACM Vol. 59; no. 6; pp. 92 - 93 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Jun2016
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | An 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 introduced. |
|---|