EEMCS

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

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

van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2005) Action Refinement in Conformance Testing. Technical Report TR-CTIT-05-51, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2005) Action Refinement in Testing with UIOCO. Technical Report TR-CTIT-05-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

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

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

van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2003) Component Based Testing with ioco. Technical Report TR-CTIT-03-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625