Path Pruning is a symbolic execution technique that selectively discards infeasible or redundant execution paths during program analysis to improve efficiency, distinguishing itself from other path management strategies by leveraging constraints or heuristics to determine irrelevance early in the exploration process.
38
Publications
1.4K
Citations
125
Authors
70
Institutions
Publications per year
2017–2026
12
Parents
Publications
38
Automatic 3D neuron tracing using all-path pruning
Fuhui Long, Gene Myers · Bioinformatics · 2011 · 167 citations · Full text
Path and trajectory diversity: Theory and algorithms
Michael S. Branicky, Ross A. Knepper, James Kuffner · 2008 · 59 citations
1–5 of 38
Authors
125
- TH
2
h-index
- KY
2
h-index
- QY
2
h-index
- SG
2
h-index
- WQ
2
h-index
1–5 of 125
Institutions
70
Texas A&M University
College Station, United States
3 h-index
13 publications
326 citations
Chinese Academy of Sciences
Beijing, China
2 h-index
2 publications
63 citations
Institute of Software
Beijing, China
2 h-index
5 publications
153 citations
University of California, Santa Barbara
Santa Barbara, United States
2 h-index
6 publications
351 citations
University of Utah
Salt Lake City, United States
2 h-index
2 publications
40 citations
Peking University
Beijing, China
2 h-index
5 publications
90 citations
Virginia Tech
Blacksburg, United States
2 h-index
3 publications
90 citations
Western Michigan University
Kalamazoo, United States
2 h-index
2 publications
63 citations
1–8 of 70
Venues
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2 publications · 36 citations
2
h-index
- ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753)
Conference · 2 publications · 77 citations
2
h-index
- IEEE Transactions on Communications
2 publications · 32 citations
2
h-index
- Asia and South Pacific Design Automation Conference
Conference · 2 publications · 92 citations
2
h-index
- Sensors
2 publications · 51 citations
2
h-index
1–5