Summary-based Symbolic Execution

Summary-Based Symbolic Execution is a symbolic execution technique that distinguishes itself by leveraging precomputed summaries of program components to accelerate path exploration and reduce redundant computations during analysis.

Publications

570

Citations

Authors

Institutions

Publications per year

2017–2026

Parents

Symbolic Execution

Publications

Snugglebug

Satish Chandra, Stephen J. Fink, Manu Sridharan · 2009 · 125 citations

Computing, Computer Science, Programming Languages +16

MultiSE: multi-path symbolic execution using value summaries

Koushik Sen, George C. Necula, Liang Gong et al. · 2015 · 106 citations

Computing, Computer Engineering, Computer Science +12

Precise and compact modular procedure summaries for heap manipulating programs

Thomas Dillig, Alex Aiken, Mooly Sagiv · ACM SIGPLAN Notices · 2011 · 67 citations

Computing, Computer Science, Algorithms +16

Precise and compact modular procedure summaries for heap manipulating programs

Thomas Dillig, Alex Aiken, Mooly Sagiv · 2011 · 58 citations

Computing, Computer Science, Algorithms +16

Conc-iSE: incremental symbolic execution of concurrent software

Shengjian Guo, Markus Kusano, Chao Wang · 2016 · 48 citations

Computing, Computer Science, Experimental Performance +14

1–5 of 12

Authors

AA
Alex Aiken
Stanford University, United States
2 publications · 125 citations
2
h-index
TD
Thomas Dillig
Stanford University, United States
2 publications · 125 citations
2
h-index
YF
Yu Feng
The University of Texas at Austin, United States
2 publications · 47 citations
2
h-index
ET
Emina Torlak
University of Washington, United States
2 publications · 47 citations
2
h-index
MS
Mooly Sagiv
Tel Aviv University, Israel
2 publications · 125 citations
2
h-index

1–5 of 24

Institutions

1–8 of 13

Venues

ACM SIGPLAN Notices
2 publications · 93 citations
2
h-index
Peace Review
1 publications · 13 citations
1
h-index
arXiv (Cornell University)
Repository · 1 publications · 32 citations
1
h-index

1–3