Roman Manevich Manu Sridharan Stephen Adams Manuvir Das Zhe Yang PSE: explaining program failures via postmortem static analysis. 63-72 2004 conf/sigsoft/2004 SIGSOFT FSE http://doi.acm.org/10.1145/1029894.1029907 db/conf/sigsoft/fse2004.html#ManevichSA04