Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang. PSE: explaining program failures via postmortem static analysis. In Richard N. Taylor, Matthew B. Dwyer, editors, Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004. pages 63-72, ACM, 2004. [doi]
Abstract is missing.