Symbolic execution for software testing: three decades later

  title={Symbolic execution for software testing: three decades later},
  author={Cristian Cadar and Koushik Sen},
  journal={Commun. ACM},
The challenges---and great promise---of modern symbolic execution techniques, and the tools to help implement them. 
Highly Influential
This paper has highly influenced 18 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 391 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 4 times over the past 90 days. VIEW TWEETS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 252 extracted citations

392 Citations

Citations per Year
Semantic Scholar estimates that this publication has 392 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…