Searching for authors named "Alex Groce" – sorted by Relevance.
-
Error Explanation with Distance Metrics
- Error Explanation with Distance Metrics Alex Groce 1 Computer Science Department, Carnegie Mellon
- Cited by 23 (3 self) – Add To MetaCart
-
(Quickly) Testing the Tester via Path Coverage
- (Quickly) Testing the Tester via Path Coverage Alex Groce Laboratory for Reliable Software Jet
- Add To MetaCart
-
unknown title
- What Went Wrong: Explaining Counterexamples Alex Groce 1 and Willem Visser 2 1 Department
- Add To MetaCart
-
Exploiting traces in program analysis
- Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software
- Cited by 2 (0 self) – Add To MetaCart
-
Model Checking Java Programs using Structural Heuristics
- Model Checking Java Programs using Structural Heuristics Alex Groce School of Computer Science
- Cited by 40 (11 self) – Add To MetaCart
-
Heuristics for Model Checking Java Programs
- for Model Checking Java Programs Alex Groce 1 , Willem Visser 2 1 School of Computer Science, Carnegie
- Cited by 28 (5 self) – Add To MetaCart
-
What Went Wrong: Explaining Counterexamples
- What Went Wrong: Explaining Counterexamples Alex Groce 1 and Willem Visser 2 1 Department
- Cited by 61 (9 self) – Add To MetaCart
-
Making the Most of BMC Counterexamples
- BMC 2004 Preliminary Version Making the Most of BMC Counterexamples Alex Groce 1;2 Daniel
- Cited by 12 (3 self) – Add To MetaCart
-
Extending Model Checking with Dynamic Analysis
- Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable
- Cited by 5 (4 self) – Add To MetaCart
-
Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration
- Alex Groce Laboratory for Reliable Software Jet Propulsion Laboratory California Institute
- Cited by 3 (3 self) – Add To MetaCart

