Symbolic execution for software testing: three decades later

@article{Cadar2013SymbolicEF,
  title={Symbolic execution for software testing: three decades later},
  author={Cristian Cadar and Koushik Sen},
  journal={Commun. ACM},
  year={2013},
  volume={56},
  pages={82-90}
}
The challenges---and great promise---of modern symbolic execution techniques, and the tools to help implement them. 

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

Citations

Publications citing this paper.
SHOWING 1-10 OF 279 CITATIONS, ESTIMATED 35% COVERAGE

279 Citations

0204060'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 279 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…