Alex Groce

Alex Groce

Northern Arizona University - Flagstaff / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 834396
person_outline Alex Groce's MOST POPULAR ARTICLES
1-) Slither: a static analysis framework for smart contractsJ Feist, G Grieco, A Groce2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software …, 20197032019
2-) Modular verification of software components in CS Chaki, EM Clarke, A Groce, S Jha, H VeithSoftware Engineering, IEEE Transactions on 30 (6), 388-402, 20046832004
3-) Manticore: A user-friendly symbolic execution framework for binaries and smart contractsM Mossberg, F Manzano, E Hennenfent, A Groce, G Grieco, J Feist, ...2019 34th IEEE/ACM International Conference on Automated Software …, 20193092019
4-) What went wrong: Explaining counterexamplesA Groce, W VisserSPIN Workshop on Model Checking Software, 121-136, 20033102003
5-) Code coverage for suite evaluation by developersR Gopinath, C Jensen, A GroceProceedings of the 36th international conference on software engineering, 72-82, 20142382014