Shujuan Jiang Yuanpeng Jiang An analysis approach for testing exception handling programs. 3-8 2007 42 SIGPLAN Notices 4 http://doi.acm.org/10.1145/1288258.1288259 db/journals/sigplan/sigplan42.html#JiangJ07