Title: | Error Explanation with Distance Metrics |
---|---|
Links: | Document as PDF |
Authors: | Alex Groce |
Sagar Chaki | |
Daniel Kroening EMail | |
Ofer Strichman EMail | |
Remarks: | |
Topics: |
Bibtex:
@article{gcks05, AUTHOR = { Groce, Alex and Chaki, Sagar and Kroening, Daniel and Strichman, Ofer }, TITLE = { Error Explanation with Distance Metrics }, YEAR = { 2005 }, PUBLISHER = { Springer Verlag }, JOURNAL = { Software Tools for Technology Transfer (STTT) }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.