Bev Littlewood Peter T. Popov Lorenzo Strigini Nick Shryane Modelling the Effects of Combining Diverse Software Fault Detection Techniques. 345-366 2008 Formal Methods and Testing http://dx.doi.org/10.1007/978-3-540-78917-8_12 conf/fortest/2008 db/conf/fortest/fortest2008.html#LittlewoodPSS08