Gordon Fraser Martin Weiglhofer Franz Wotawa Coverage Based Testing with Test Purposes. 199-208 2008 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.41 conf/qsic/2008 db/conf/qsic/qsic2008.html#FraserWW08