EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Petrenko, A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2004

van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2004) Compositional Testing with ioco. In: Formal Approaches to Software Testing (FATES). pp. 86-100. Lecture Notes in Computer Science 2931. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-20894-5

1998

Brinksma, H. and Heerink, A.W. and Tretmans, G.J. (1998) Factorized Test Generation for Multi Input/Output Transition Systems. In: Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems. pp. 67-82. IFIP Conference Proceedings 131. Kluwer Academic Publishers. ISBN 0-412-84430-3

This list was generated on Mon May 29 04:31:36 CEST 2017.