Title: | Error Explanation with Distance Metrics |
---|---|
Links: | Homepage 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 = { 2006 }, PUBLISHER = { Springer }, PAGES = { 229--247 }, JOURNAL = { Software Tools for Technology Transfer (STTT) }, VOLUME = { 8 }, ISSUE = { 3 }, MONTH = { June }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.