Explicit-State Model Checking is a model checking approach that systematically explores a system's state space by explicitly representing and traversing individual states and transitions, distinguishing it from symbolic methods that manipulate sets of states implicitly.
58
Publications
2K
Citations
148
Authors
70
Institutions
Publications per year
2017–2026
6
Publications
58
jFuzz: A Concolic Whitebox Fuzzer for Java
Karthick Jayaraman, David Harvison, Vijay Ganesh et al. · 2009 · 76 citations
1–5 of 58
Authors
148
- LB
5
h-index
- PR
4
h-index
- JB
3
h-index
- MY
3
h-index
- SL
3
h-index
1–5 of 148
Institutions
70
Masaryk University
Brno, Czechia
8 h-index
15 publications
412 citations
University of Illinois Urbana-Champaign
Urbana, United States
4 h-index
10 publications
906 citations
Intel (United States)
Santa Clara, United States
4 h-index
6 publications
204 citations
Rice University
Houston, United States
3 h-index
3 publications
96 citations
University of Utah
Salt Lake City, United States
2 h-index
6 publications
144 citations
University of Oxford
Oxford, United Kingdom
2 h-index
2 publications
60 citations
Brigham Young University
Provo, United States
2 h-index
5 publications
75 citations
University of Birmingham
Birmingham, United Kingdom
2 h-index
7 publications
251 citations
1–8 of 70
Venues
- Electronic Notes in Theoretical Computer Science
ENTCS · 6 publications · 358 citations
6
h-index
- IEEE Transactions on Software Engineering
TSE · 3 publications · 227 citations
3
h-index
- International Journal on Software Tools for Technology Transfer
2 publications · 193 citations
2
h-index
- Proceedings - ACM IEEE Design Automation Conference
2 publications · 86 citations
2
h-index
- IMT Institutional Repository (IMT School for Advanced Studies Lucca)
Repository · 1 publications · 43 citations
1
h-index
1–5