Peter T. Popov Bev Littlewood The Effect of Testing on Reliability of Fault-Tolerant Software. 265-274 2004 conf/dsn/2004 DSN http://csdl.computer.org/comp/proceedings/dsn/2004/2052/00/20520265abs.htm db/conf/dsn/dsn2004.html#PopovL04