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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=88141578&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 88141578 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Feb2013 vid: 56 iid: 2 pid: 68 pub: Association for Computing Machinery artinfo: ui: 88141578 10.1145/2408776.2408795 ppf: 82 ppct: 9 formats: tig: atl: Symbolic Execution for Software Testing: Three Decades Later. aug: au: CADAR, CRISTIAN SEN, KOUSHIK affil: Lecturer, Department of Computing, Imperial College London Associate professor, Department of Electrical Engineering and Computer Science, University of California, Berkeley su: Computer software testing Debugging Application software Constraint programming Computer programming Testing sug: subj: Computer software testing Debugging Application software Constraint programming Computer programming Testing ab: 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 computer program's variables are symbolic expressions, and the computed output values represent a function of the input symbolic values. The challenges of symbolic execution such as path explosion, constraint solving, and memory modeling are also mentioned. Topics include execution-generated testing (EGT) and directed automated random testing (DART). pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2013 holdings: @attributes: islocal: N |
|---|