Ed Brinksma, Lex Heerink, Jan Tretmans
Factorized Test Generation for Multi-Input/Output Transition Systems
ICTSS, 1998.
@inproceedings{IWTCS-1998-BrinksmaHT, author = "Ed Brinksma and Lex Heerink and Jan Tretmans", booktitle = "{Proceedings of the 11th International Workshop on Testing Communicating Systems}", isbn = "0-412-84430-3", pages = "67--82", publisher = "{Kluwer}", series = "{IFIP Conference Proceedings}", title = "{Factorized Test Generation for Multi-Input/Output Transition Systems}", volume = 131, year = 1998, }