Luo Chun Yang Jun Longxing Shi Wu XuFan Zhang Yu Domain Strategy and Coverage Metric for Validation. 40-45 2005 conf/isqed/2005 ISQED http://doi.ieeecomputersociety.org/10.1109/ISQED.2005.46 db/conf/isqed/isqed2005.html#ChunJLXY05