Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2008 | 2007
Number of items: 5.


Calamé, Jens R. and Pol, Jaco van de (2008) Applying Model-based Testing to HTML Rendering Engines - A Case Study. In: 20th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems, TestCom 2008, 10-13 June 2008, Tokyo, Japan (pp. pp. 250-265).

Calamé, Jens Rüdiger (2008) Testing reactive systems with data : enumerative methods and constraint solving. thesis.


Blom, Stefan and Calamé, Jens R. and Lisser, Bert and Orzan, Simona and Pang, Jun and Pol, Jaco van de and Torabi Dashti, Mohammad and Wijs, Anton J. (2007) Distributed Analysis with µCRL: a Compendium of Case Studies. In: 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, 24 March - 01 April 2007, Braga, Portugal (pp. pp. 683-689).

Calamé, Jens and Ioustinova, Natalia and Pol, Jaco van de and Sidorova, Natalia (2007) Bug hunting with false negatives. In: 6th International Conferenceon Integrated Formal Methods, IFM 2007, 2-5 July 2007, Oxford, UK (pp. pp. 98-117).

Calamé, Jens R. and Ioustinova, Natalia and Pol, Jaco van de (2007) Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. In: Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM 2005, 29 November 2005, Eindhoven, The Netherlands (pp. pp. 25-48).

This list was generated on Thu Jun 22 05:49:33 2017 CEST.