Meng Li Zhu Xu Study on the Cost/Benefit/Optimization of Software Safety Test. 510 2003 conf/ats/2003 Asian Test Symposium http://doi.ieeecomputersociety.org/10.1109/ATS.2003.1250881 db/conf/ats/ats2003.html#LiX03