Data Abstraction and Constraint Solving for Conformance Testing. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol; Natalia Sidorova (APSEC, 2005)

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol (IFM Doctoral Symposium, 2005)

TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. - Jens R. Calamé; Nicolae Goga; Natalia Ioustinova; Jaco van de Pol (CCECE, 2006)

Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol (GI Jahrestagung (2), 2006)

Bug Hunting with False Negatives. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol; Natalia Sidorova (IFM, 2007)

Distributed Analysis with mu CRL: A Compendium of Case Studies. - Stefan Blom; Jens R. Calamé; Bert Lisser; Simona Orzan; Jun Pang 001; Jaco van de Pol; Muhammad Torabi Dashti; Anton Wijs (TACAS, 2007)

Applying Model-Based Testing to HTML Rendering Engines - A Case Study. - Jens R. Calamé; Jaco van de Pol (TestCom/FATES, 2008)

Testing reactive systems with data: enumerative methods and constraint solving. - Jens R. Calamé (2008)