"Generating, Selecting and Prioritizing Test Cases from Specifications with ..."

Ysong Yueh Yu, Sebastian P. Ng, Eric Y. K. Chan (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics