Alex Groce
Título
Citado por
Citado por
Ano
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
6412004
What went wrong: Explaining counterexamples
A Groce, W Visser
SPIN Workshop on Model Checking Software, 121-136, 2003
2592003
Error explanation with distance metrics
A Groce, S Chaki, D Kroening, O Strichman
International Journal on Software Tools for Technology Transfer 8 (3), 229-247, 2006
1872006
Adaptive model checking
A Groce, D Peled, M Yannakakis
International Conference on Tools and Algorithms for the Construction and …, 2002
1472002
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
1332013
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
1302014
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
1282007
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
1262013
Error explanation with distance metrics
A Groce
International Conference on Tools and Algorithms for the Construction and …, 2004
1252004
Model checking Java programs using structural heuristics
A Groce, W Visser
ACM SIGSOFT International Symposium on Software Testing and Analysis 27 (4 …, 2002
1252002
Heuristics for model checking Java programs
A Groce, W Visser
International Journal on Software Tools for Technology Transfer 6 (4), 260-276, 2004
1222004
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
1052010
Swarm verification techniques
GJ Holzmann, R Joshi, A Groce
IEEE Transactions on Software Engineering 37 (6), 845-857, 2010
912010
Swarm testing
A Groce, C Zhang, E Eide, Y Chen, J Regehr
ACM SIGSOFT International Symposium on Software Testing and Analysis, 2012
882012
Efficient verification of sequential and concurrent C programs
S Chaki, E Clarke, A Groce, J Ouaknine, O Strichman, K Yorav
Formal Methods in System Design 25 (2), 129-166, 2004
882004
Understanding counterexamples with explain
A Groce, D Kroening, F Lerda
International Conference on Computer Aided Verification, 453-456, 2004
822004
Explaining abstract counterexamples
S Chaki, A Groce, O Strichman
ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE) 29 (6), 73-82, 2004
762004
Predicate abstraction with minimum predicates
S Chaki, E Clarke, A Groce, O Strichman
Advanced Research Working Conference on Correct Hardware Design and …, 2003
762003
Making the most of BMC counterexamples
A Groce, D Kroening
Electronic Notes in Theoretical Computer Science 119 (2), 67-81, 2005
732005
Counterexample guided abstraction refinement via program execution
D Kroening, A Groce, E Clarke
International Conference on Formal Engineering Methods, 224-238, 2004
632004
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20