Fast Functional Test Generation Using an SDL Model.

Robert L. Probert Alan W. Williams Fast Functional Test Generation Using an SDL Model. 299-316 1999 conf/pts/1999 IWTCS db/conf/pts/pts1999.html#ProbertW99