Statistics
Publications
70
Citations
3.7K
H-Index
34
Active since
2002
Alex Groce is an author at Oregon State University specializing in computing, computer science, and software testing.
Publications per year
2002–2023
70
70
Modular verification of software components in C
Sagar Chaki, E. M. Clarke, Alex Groce et al. · IEEE Transactions on Software Engineering · 2004 · 311 citations
Echidna: effective, usable, and fast fuzzing for smart contracts
Gustavo Grieco, Will Song, Artur Cygan et al. · 2020 · 197 citations
Error explanation with distance metrics
Alex Groce, Sagar Chaki, Daniel Kroening et al. · International Journal on Software Tools for Technology Transfer · 2005 · 191 citations
Code coverage for suite evaluation by developers
Rahul Gopinath, Carlos Jensen, Alex Groce · 2014 · 170 citations
1–5 of 70