MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Error Explanation with Distance Metrics." – sorted by Relevance.

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

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

6 documents found, showing 1 through 6.

ATOM

Error Explanation with Distance Metrics
by unknown authors
… Error Explanation with Distance Metrics Alex Groce1 Computer Science Department, Carnegie Mellon…
Add To MetaCart

Error Explanation with Distance Metrics
by Alex Groce — 2004 — In Tools and Algorithms for the Construction and Analysis of Systems
…Error Explanation with Distance Metrics Alex Groce 1 Computer Science Department, Carnegie Mellon…
Cited by 21 (3 self) – Add To MetaCart

Error Explanation and Fault Localization with Distance Metrics
by Alex David Groce — 2005
…Error Explanation and Fault Localization with Distance Metrics Alex David Groce March 2005 CMU…
Cited by 1 (0 self) – Add To MetaCart

Education
by Alex David Groce, Advisor Edmund Clarke
… University, March 2005 Thesis Title: Error Explanation and Fault Localization with Distance Metrics. Advisor…
Add To MetaCart

Experience
by Alex David Groce
… Thesis Title: Error Explanation and Fault Localization with Distance Metrics. Advisor: Edmund Clarke B…
Add To MetaCart

Making the Most of BMC Counterexamples
by Alex Groce, Daniel Kroening — 2004
…, and Somenzi [18] also provides an error explanation. The distance metric based approach used in Section 6…
Cited by 11 (3 self) – Add To MetaCart

Showing 1 through 6.

ATOM

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