Swarup Kumar Sahoo, John Criswell, Chase Geigle, Vikram S. Adve. Using likely invariants for automated software fault localization. In Vivek Sarkar, Rastislav Bodík, editors, Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, Houston, TX, USA - March 16 - 20, 2013. pages 139-152, ACM, 2013. [doi]
@inproceedings{SahooCGA13,
title = {Using likely invariants for automated software fault localization},
author = {Swarup Kumar Sahoo and John Criswell and Chase Geigle and Vikram S. Adve},
year = {2013},
doi = {10.1145/2451116.2451131},
url = {http://doi.acm.org/10.1145/2451116.2451131},
researchr = {https://researchr.org/publication/SahooCGA13},
cites = {0},
citedby = {0},
pages = {139-152},
booktitle = {Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, Houston, TX, USA - March 16 - 20, 2013},
editor = {Vivek Sarkar and Rastislav Bodík},
publisher = {ACM},
isbn = {978-1-4503-1870-9},
}