Universität Münster
CRIS@UM
DE | EN

Constraint-Logic Object-Oriented Programming for Test Case Generation

Winkelmann Hendrik, Troost Laura, Kuchen Herbert

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

Herausgeber*innen: Association for Computing Machinery
Buchtitel: 37th ACM/SIGAPP Symposium On Applied Computing
Seitenbereich: 1499-1508
Verlag: ACM Press
Erscheinungsort: New York, NY, USA
Status: Veröffentlicht
Veröffentlichungsjahr: 2022 (06.05.2022)
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 37th ACM/SIGAPP Symposium On Applied Computing, Virtual Event, Online
ISBN: 978-1-4503-8713-2/22/04
Stichwörter: constraint logic programming; imperative programs; test case generation; symbolic execution; virtual machine

Autor*innen der Universität Münster

Kuchen, Herbert
Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)
European Research Center for Information Systems (ERCIS)
Troost, Laura
Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)
Winkelmann, Hendrik
Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)

Preisverleihungen erhalten für die Publikation

Best Paper Award
Verliehen von: Association for Computing Machinery (ACM)
Verliehen an: Winkelmann, Hendrik; Troost, Laura; Kuchen, Herbert
Bekannt gegeben am: 03.05.2022 | Verleihung erfolgte am: 03.05.2022
Art der Preisverleihung: Preis für beste Veröffentlichung