Ysong Yueh Yu Sebastian P. Ng Eric Y. K. Chan 0002 Generating, Selecting and Prioritizing Test Cases from Specifications with Tool Support. 83-90 2003 conf/qsic/2003 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2003.1319089 db/conf/qsic/qsic2003.html#YuNC03