Factorized test generation for multi-input/output transition systems

E. Brinksma, L. Heerink, J. Tretmans

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationTesting of Communication Systems (Proceedings of the IFIP TC6 11th International Workshop, IWTCS, Tomsk, Russia, August 31-September 2, 1998)
EditorsA. Petrenko, N. Yevtushenko
PublisherKluwer
Pages67-82
ISBN (Print)0-412-84430-3
Publication statusPublished - 1998

Publication series

NameIFIP Conference Proceedings
Volume131
ISSN (Print)1571-5736

Cite this