Communications of the ACM· 2013Q1
Symbolic execution for software testing
- 756citations
- Q1SCImago
- 2013year
Short summary
Symbolic execution offers significant promise for modern software testing, despite inherent challenges in its implementation.
AI-generated from the title and abstract; the full text is not read.
Key points
- Symbolic execution uses symbolic values to represent program inputs.
- It aims to explore all possible execution paths of a program.
- The technique promises advancements in software testing and verification.
- Challenges exist in the practical implementation and tooling for symbolic execution.
AI-generated from the title and abstract; the full text is not read.
Abstract
The challenges---and great promise---of modern symbolic execution techniques, and the tools to help implement them.
The authors' abstract, as published at the source. Communications of the ACM, 2013 · DOI ↗
Continue with a free account
Ask the paper: 3 free questions a day about this paper; save it, get its citation, new summaries every day for your field. Takeaways are Premium.
Continue free on the webSign in with Google or Apple; no card needed. You come back to this paper.
On your phone:
Field: Software
SoftwareComputer Science