Communications of the ACM· 2012Q1

SAGE

Patrice Godefroid, Michael Y. Levin, Dávid Molnár

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.

TakeawaysIn the app

Key pointsIn the app

Ask the paperIn the app

The rest is in the Pofolia app

Takeaways, key points and questions to the paper; new summaries every day for your field. Free.

Get it on Google Play Download on the App Store

Field: Software

SoftwareComputer Science