( en | de | ru )

 

Disambiguation of "Calamé, Jens R."

Author of the publication

copydeleteadd this publication to your clipboard
Distributed Analysis with mu CRL: A Compendium of Case Studies.

, , , , , , , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 683-689. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Berta Calame

Franz Calame

Silke Calame

Irmgard Calame

Jochen Calame

 

Other publications of authors with the same name

Distributed Analysis with mu CRL: A Compendium of Case Studies., , , , , , , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 683-689. Springer, (2007)Applying Model-Based Testing to HTML Rendering Engines - A Case Study., and . TestCom/FATES, volume 5047 of Lecture Notes in Computer Science, page 250-265. Springer, (2008)TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking., , , and . CCECE, page 620-623. IEEE, (2006)Testing reactive systems with data: enumerative methods and constraint solving.. University of Twente, Enschede, Netherlands, (2008)base-search.net (ftunivtweneemcs:oai:ewi.utwente.nl:15281).Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen., , and . GI Jahrestagung (2), volume P-94 of LNI, page 257-261. GI, (2006)Data Abstraction and Constraint Solving for Conformance Testing., , , and . APSEC, page 541-548. IEEE Computer Society, (2005)Bug Hunting with False Negatives., , , and . IFM, volume 4591 of Lecture Notes in Computer Science, page 98-117. Springer, (2007)Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction., , and . IFM Doctoral Symposium, volume 191 of Electronic Notes in Theoretical Computer Science, page 25-48. Elsevier, (2005)Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction, , and . Electronic Notes in Theoretical Computer Science, (October 2007)MR: Stark formalisiertes und mathematisch ergründetes Werk. Basierend auf der Spezifikation des IUT (gegeben in LTS) wird der Lösungsraum durch data abstraction eingeengt (mittels µCRL). Mittels enumerativ tools (wie TGV) werden dann abstrakte Testfälle generiert. Die konkreten Daten (Ein und Ausgaben!) werden mittels constraint-solving techniques (mittels Prolog) ermittelt. Future Work soll ermöglichen UML-Spezifikationen als Eingabe zu erlauben und die Testfälle sollen in TTCN-3 generiert werden! Spätestens dann wird dieser Ansatz für IST-SPL sehr interessant..