Searching for authors named "Alex Groce" – sorted by Relevance.
36 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
