Loop handling is a symbolic execution technique that addresses the challenges of analyzing loops by systematically managing loop iterations and termination conditions to enable scalable and precise program path exploration.
51
Publications
2.6K
Citations
120
Authors
65
Institutions
Publications per year
2017–2026
4
Parents
Publications
51
James R. Larus · 1999 · 365 citations · Full text
Carl Friedrich Bolz, Antonio Cuni, Maciej Fijałkowski et al. · 2009 · 279 citations
Jack Dongarra, A.R. Hinds · Software Practice and Experience · 1979 · 127 citations
Putting static analysis to work for verification
Tal Lev-Ami, Thomas Reps, Mooly Sagiv et al. · 2000 · 119 citations · Full text
1–5 of 51
Authors
120
- JD
4
h-index
- JR
3
h-index
- MB
2
h-index
- GJ
2
h-index
- FC
2
h-index
1–5 of 120
Institutions
65
Argonne National Laboratory
Lemont, United States
3 h-index
5 publications
465 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
2 h-index
3 publications
44 citations
Purdue University West Lafayette
West Lafayette, United States
2 h-index
5 publications
415 citations
Microsoft (United States)
Redmond, United States
2 h-index
2 publications
400 citations
Oregon Museum of Science and Industry
Portland, United States
2 h-index
4 publications
154 citations
Rice University
Houston, United States
2 h-index
2 publications
133 citations
University of Wisconsin–Madison
Madison, United States
2 h-index
2 publications
173 citations
KU Leuven
Leuven, Belgium
2 h-index
6 publications
96 citations
1–8 of 65
Venues
- ACM SIGPLAN Notices
4 publications · 92 citations
4
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 29 citations
2
h-index
- ACM Transactions on Programming Languages and Systems
2 publications · 78 citations
2
h-index
- Canadian Journal of Science Mathematics and Technology Education
CJSMTE · 1 publications · 55 citations
1
h-index
- Mathematics Magazine
1 publications · 28 citations
1
h-index
1–5