@InProceedings{FSE:MSADY04,
 author    = "Roman Manevich and Manu Sridharan and Stephen Adams and Manuvir Das and Zhe Yang",
 title     = "PSE: Explaining Program Failures via Postmortem Static Analysis",
 editor    = "Richard N. Taylor",
 booktitle = "Proceedings of the 12th ACM SIGSOFT twelfth International Symposium on the Foundations of Software Engineering",
 publisher = "ACM Press",
 month     = nov,
 day       = "2--4",
 year      = 2004,
 pages     = "63--72",
 location  = "Newport Beach, CA, USA"
}