EEMCS

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

EEMCS EPrints Service


Research Project: ATOMYSTE: Atom splitting in embedded Systems testing
Home Policy Brochure Browse Search User Area Contact Help

2011

van der Bijl, H.M. (2011) On changing models in Model-Based Testing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-198 ISBN 978-90-365-3195-5

2007

van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2007) Atomic Action Refinement in Model Based Testing. Technical Report TR-CTIT-07-64, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2005

van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2005) Action Refinement in Conformance Testing. In: Testing of Communicating Systems (TESTCOM). pp. 81-96. Lecture Notes in Computer Science 3502. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-26054-7

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