Communications of the ACM· 2012Q1
SAGE
- 564citations
- Q1SCImago
- 2012year
Short summary
SAGE, a dynamic symbolic execution tool, significantly improved software testing at Microsoft by automatically generating test cases that uncovered deep bugs.
AI-generated from the title and abstract; the full text is not read.
Key points
- SAGE employs dynamic symbolic execution to automatically generate test cases.
- It systematically explores program execution paths to find bugs.
- SAGE was instrumental in uncovering deep and complex software defects at Microsoft.
- The tool led to a substantial improvement in software quality and reliability.
AI-generated from the title and abstract; the full text is not read.
Abstract
SAGE has had a remarkable impact at Microsoft.
The authors' abstract, as published at the source. Communications of the ACM, 2012 · DOI ↗
TakeawaysPremium
Ask the paperFree account
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