articleCommunications of the ACMJan 29, 2013Closed access

Symbolic execution for software testing

CCCristian CadarKSKoushik Sen

Imperial College London · University of California, Berkeley

Indexed incrossref

Abstract

The challenges---and great promise---of modern symbolic execution techniques, and the tools to help implement them.

Citation impact

746
total citations
FWCI
78.68
Percentile
100%
References
57
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Computer science
  • Symbolic execution
  • Programming language
  • Software testing
  • Concolic testing
  • Software
  • Operating system
  • Software engineering
No related works found for this paper.