Searching for "Explaining abstract counterexamples." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Education
by Alex David Groce, Advisor Edmund Clarke
… Chaki, Alex Groce, and Ofer Strichman. Explaining Abstract Counterexamples. Foundations of Software…
Add To MetaCart

Experience
by Alex David Groce
…, Alex Groce, and Ofer Strichman. Explaining Abstract Counterexamples. ACM SIGSOFT International…
Add To MetaCart

Error Explanation and Fault Localization with Distance Metrics
by Alex David Groce — 2005
… . . . . . . . . 117 7 Explaining Abstract Counterexamples 119 7.1 Motivation…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB