Seguir
Alex Groce
Alex Groce
Associate Professor of Computer Science, Northern Arizona University
Dirección de correo verificada de nau.edu - Página principal
Título
Citado por
Citado por
Año
Modular verification of software components in C
S Chaki, EM Clarke, A Groce, S Jha, H Veith
Software Engineering, IEEE Transactions on 30 (6), 388-402, 2004
6812004
Slither: a static analysis framework for smart contracts
J Feist, G Grieco, A Groce
2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software …, 2019
6162019
Manticore: A user-friendly symbolic execution framework for binaries and smart contracts
M Mossberg, F Manzano, E Hennenfent, A Groce, G Grieco, J Feist, ...
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
3572019
What went wrong: Explaining counterexamples
A Groce, W Visser
SPIN Workshop on Model Checking Software, 121-136, 2003
3092003
Code coverage for suite evaluation by developers
R Gopinath, C Jensen, A Groce
Proceedings of the 36th international conference on software engineering, 72-82, 2014
2282014
Error explanation with distance metrics
A Groce, S Chaki, D Kroening, O Strichman
International Journal on Software Tools for Technology Transfer 8, 229-247, 2006
2272006
Taming Compiler Fuzzers
Y Chen, A Groce, C Zhang, WK Wong, X Fern, E Eide, J Regehr
ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
2112013
Adaptive model checking
A Groce, D Peled, M Yannakakis
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002
1752002
Comparing Non-adequate Test Suites using Coverage Criteria
M Gligoric, A Groce, C Zhang, R Sharma, MA Alipour, D Marinov
International Symposium on Software Testing and Analysis (ISSTA), 2013
1712013
Echidna: effective, usable, and fast fuzzing for smart contracts
G Grieco, W Song, A Cygan, J Feist, A Groce
Proceedings of the 29th ACM SIGSOFT international symposium on software …, 2020
1702020
Randomized differential testing as a prelude to formal verification
A Groce, G Holzmann, R Joshi
29th International Conference on Software Engineering (ICSE'07), 621-631, 2007
1682007
Heuristics for model checking Java programs
A Groce, W Visser
International Journal on Software Tools for Technology Transfer 6, 260-276, 2004
1522004
Error explanation with distance metrics
A Groce
International Conference on Tools and Algorithms for the Construction and …, 2004
1462004
Model checking Java programs using structural heuristics
A Groce, W Visser
ACM SIGSOFT International Symposium on Software Testing and Analysis 27 (4 …, 2002
1312002
Swarm testing
A Groce, C Zhang, E Eide, Y Chen, J Regehr
ACM SIGSOFT International Symposium on Software Testing and Analysis, 2012
1302012
Mutations: How close are they to real faults?
R Gopinath, C Jensen, A Groce
2014 IEEE 25th International Symposium on Software Reliability Engineering …, 2014
1232014
Swarm verification techniques
GJ Holzmann, R Joshi, A Groce
IEEE Transactions on Software Engineering 37 (6), 845-857, 2010
1222010
Formal analysis of log files
H Barringer, A Groce, K Havelund, M Smith
Journal of aerospace computing, information, and communication 7 (11), 365-390, 2010
1172010
Smartian: Enhancing smart contract fuzzing with static and dynamic data-flow analyses
J Choi, D Kim, S Kim, G Grieco, A Groce, SK Cha
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
1062021
Understanding counterexamples with explain
A Groce, D Kroening, F Lerda
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
1022004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20