Symbolic Execution

Symbolic Execution is a program analysis technique in which execution paths are explored using symbolic values instead of concrete inputs, enabling the systematic examination of multiple program behaviors under varying input conditions.

1.4K

Publications

84.5K

Citations

2.7K

Authors

688

Institutions

Publications per year

2017–2026

299

Variants

Symbex

Parents

Formal Methods

Children

Assertion CheckingAutomated Bug FindingBounded Symbolic ExecutionBranch Condition HandlingConcolic ExecutionConstraint GenerationCounterexample GenerationDynamic Symbolic ExecutionEnvironment ModelingFeasibility Checking

Publications

1.4K

Symbolic execution and program testing

James C. King · Communications of the ACM · 1976 · 3K citations · Full text

Computing, Computer Science, Formal Methods +10

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Computing, Computer Engineering, Computer Science +12

KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

Cristian Cadar, Dawson Engler · 2008 · 2.7K citations

Computing, Computer Science, Computer Systems +9

CUTE

Koushik Sen, Darko Marinov, Gul Agha · 2005 · 1.7K citations

Computing, Computer Engineering, Computer Science +15

Automated Whitebox Fuzz Testing.

Patrice Godefroid, Michael Y. Levin, David A. Molnar · 2008 · 1.1K citations

Computing, Computer Engineering, Computer Science +17

1–5 of 1.4K

Authors

2.7K

CS
Corina S. Păsăreanu
Ames Research Center, United States
35 publications · 3.7K citations
27
h-index
CC
Cristian Cadar
Imperial College London, United Kingdom
26 publications · 6K citations
22
h-index
SK
Sarfraz Khurshid
The University of Texas at Austin, United States
24 publications · 1.9K citations
21
h-index
NT
Nikolai Tillmann
Microsoft (United States), United States
23 publications · 2K citations
21
h-index
WV
Willem Visser
Stellenbosch University, South Africa
22 publications · 2.3K citations
20
h-index

1–5 of 2.7K

Institutions

688

1–8 of 688

Venues

IEEE Transactions on Software Engineering
TSE · 38 publications · 3.5K citations
27
h-index
ACM SIGPLAN Notices
37 publications · 2.6K citations
23
h-index
International Journal on Software Tools for Technology Transfer
17 publications · 1.8K citations
15
h-index
Proceedings of the ACM on Programming Languages
PACMPL · 15 publications · 460 citations
13
h-index
ACM SIGSOFT Software Engineering Notes
SEN · 13 publications · 902 citations
12
h-index

1–5