Factorized Test Generation for Multi-Input/Output Transition Systems

Ed Brinksma, Lex Heerink, Jan Tretmans. Factorized Test Generation for Multi-Input/Output Transition Systems. In Alexandre Petrenko, Nina Yevtushenko, editors, Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia. Volume 131 of IFIP Conference Proceedings, pages 67-82, Kluwer, 1998.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.