Error explanation with distance metrics

Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman

Research output: Contribution to journalArticlepeer-review

134 Scopus citations

Fingerprint

Dive into the research topics of 'Error explanation with distance metrics'. Together they form a unique fingerprint.

Keyphrases

Computer Science