Thomas Ball, Mayur Naik, Sriram K. Rajamani
From symptom to cause: localizing errors in counterexample traces
POPL, 2003.
@inproceedings{POPL-2003-BallNR,
author = "Thomas Ball and Mayur Naik and Sriram K. Rajamani",
booktitle = "{Conference Record of the 30th Symposium on Principles of Programming Languages}",
doi = "10.1145/640128.604140",
editor = "Alex Aiken and Greg Morrisett",
isbn = "1-58113-628-5",
pages = "97--105",
publisher = "{ACM}",
title = "{From symptom to cause: localizing errors in counterexample traces}",
year = 2003,
}