Yuen-Tak Yu Man Fai Lau Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions. 14-21 2004 conf/qsic/2004 QSIC http://csdl.computer.org/comp/proceedings/qsic/2004/2207/00/22070014abs.htm db/conf/qsic/qsic2004.html#YuL04