Jens R. Calamé

According to our database, Jens R. Calamé authored at least 8 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Testing reactive systems with data: enumerative methods and constraint solving.

Jens R. Calamé

PhD thesis, 2008

Applying Model-Based Testing to HTML Rendering Engines - A Case Study.

Jens R. Calamé, Jaco van de Pol

Proceedings of the Testing of Software and Communicating Systems, 2008

2007

Distributed Analysis with <i>mu</i> CRL: A Compendium of Case Studies.

Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Bug Hunting with False Negatives.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking.

Jens R. Calamé, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

2005

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

Data Abstraction and Constraint Solving for Conformance Testing.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005