Error explanation with distance metrics

Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman. Error explanation with distance metrics. STTT, 8(3):229-247, 2006. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: