Angela Martin Rachel Davies David Hussman Michael C. Feathers To Certify or Not to Certify. 268-270 2007 conf/xpu/2007 XP http://dx.doi.org/10.1007/978-3-540-73101-6_52 db/conf/xpu/xp2007.html#MartinDHF07