Factorized Test Generation for Multi-Input/Output Transition Systems.

Ed Brinksma Lex Heerink Jan Tretmans Factorized Test Generation for Multi-Input/Output Transition Systems. 67-82 1998 conf/pts/1998 IWTCS db/conf/pts/pts1998.html#BrinksmaHT98