Cyrille Artho Armin Biere Shinichi Honiden Exhaustive Testing of Exception Handlers with Enforcer. 26-46 2006 FMCO http://dx.doi.org/10.1007/978-3-540-74792-5_2 conf/fmco/2006 db/conf/fmco/fmco2006.html#ArthoBH06