Generating, Selecting and Prioritizing Test Cases from Specifications with Tool Support. - Ysong Yueh Yu; Sebastian P. Ng; Eric Y. K. Chan (QSIC, 2003)