EEMCS

Calamé, J.R. (2008) Testing reactive systems with data: enumerative methods and constraint solving. PhD thesis, University of Twente. IPA dissertation series 2008-20 ISBN 978-90-6464-273-9

Calamé, J.R. and van de Pol, J.C. (2008) Applying Model-based Testing to HTML Rendering Engines - A Case Study. In: Testing of Software and Communicating Systems, 10-13 Jun 2008, Tokyo, Japan. pp. 250-265. Lecture Notes in Computer Science 5047. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-68514-2

Blom, S.C.C. and Calamé, J.R. and Lisser, B. and Orzan, S. and Pang, J. and van de Pol, J.C. and Torabi Dashti, M. and Wijs, A.J. (2007) Distributed Analysis with µCRL: a Compendium of Case Studies. In: Tools and Algorithms for the Construction and Analysis of Systems, 24 Mar - 01 Apr 2007, Braga, Portugal. pp. 683-689. Lecture Notes in Computer Science 4424. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-71208-4

Calamé, J.R. and Ioustinova, N. and van de Pol, J.C. (2007) Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. In: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005), 29 Nov 2005, Eindhoven, The Netherlands. pp. 25-48. Electronic Notes in Theoretical Computer Science 191. Elsevier. ISSN 1571-0661

Calamé, J.R. and Ioustinova, N. and van de Pol, J.C. and Sidorova, N. (2007) Bug Hunting with False Negatives Revisited. Technical Report SEN-R0708, Centrum voor Wiskunde en Informatica, Amsterdam. ISSN 1386-369X

Calamé, J.R. and Ioustinova, N. and van de Pol, J.C. and Sidorova, N. (2007) Bug Hunting with False Negatives. In: Integrated Formal Methods, 2-5 Jul 2007, Oxford, UK. pp. 98-117. Lecture Notes in Computer Science 4591. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-73209-9