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]
Abstract is missing.