Communications of the ACM· 2013Q1

Symbolic execution for software testing

Cristian Cadar, Koushik Sen

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.

TakeawaysIn the app

Key pointsIn the app

Ask the paperIn the app

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

SoftwareComputer Science