Interprocedural Symbolic Execution is a symbolic execution technique that extends path-sensitive analysis across procedure boundaries by modeling function calls and returns, thereby enabling the systematic exploration of program paths that span multiple subroutines.
13
Publications
727
Citations
24
Authors
16
Institutions
Publications per year
2017–2026
1
Parents
Publications
13
Yichen Xie, Andy Chou, Dawson Engler · 2003 · 177 citations
Yichen Xie, Andy Chou, Dawson Engler · ACM SIGSOFT Software Engineering Notes · 2003 · 43 citations
Symbolic evaluation for parallelizing compilers
Thomas Fahringer, Bernhard Scholz · 1997 · 32 citations
1–5 of 13
Authors
24
- AC
3
h-index
- YX
3
h-index
- DE
3
h-index
- PH
2
h-index
- CC
2
h-index
1–5 of 24
Institutions
16
Stanford University
Stanford, United States
3 h-index
9 publications
741 citations
Imperial College London
London, United Kingdom
2 h-index
5 publications
294 citations
Google (United States)
Mountain View, United States
1 h-index
1 publications
24 citations
Pennsylvania State University
State College, United States
1 h-index
3 publications
51 citations
Stellenbosch University
Stellenbosch, South Africa
1 h-index
1 publications
232 citations
National University of Defense Technology
Changsha, China
1 h-index
1 publications
15 citations
University of Vienna
Vienna, Austria
1 h-index
1 publications
32 citations
Ames Research Center
Mountain View, United States
1 h-index
1 publications
232 citations
1–8 of 16
Venues
- ACM SIGSOFT Software Engineering Notes
SEN · 1 publications · 43 citations
1
h-index
- ACM Transactions on Programming Languages and Systems
1 publications · 17 citations
1
h-index
- International Journal on Software Tools for Technology Transfer
1 publications · 232 citations
1
h-index
- Journal of Signal Processing Systems
1 publications · 19 citations
1
h-index
- IEEE Transactions on Software Engineering
TSE · 1 publications · 24 citations
1
h-index
1–5