Error Explanation with Distance Metrics
Alex Groce‚ Sagar Chaki‚ Daniel Kroening and Ofer Strichman
Journal
Software Tools for Technology Transfer (STTT)
Month
June
Pages
229–247
Publisher
Springer
Volume
8
Year
2006
Alex Groce‚ Sagar Chaki‚ Daniel Kroening and Ofer Strichman