Symbolic Execution for Software Testing: Three Decades Later.
The article presents an overview of modern and classical symbolic execution techniques which are used in software testing to explore program paths and to find errors in complex software applications. The article notes the input values for symbolic execution are symbolic values, the values of a compu...
| Publicado en: | Communications of the ACM Vol. 56; no. 2; pp. 82 - 91 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Feb2013
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |