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*innenAssociation for Computing Machinery
Buchtitel37th ACM/SIGAPP Symposium On Applied Computing
Seitenbereich1499-1508
VerlagACM Press
ErscheinungsortNew York, NY, USA
StatusVeröffentlicht
Veröffentlichungsjahr2022 (06.05.2022)
Sprache, in der die Publikation verfasst istEnglisch
Konferenz37th ACM/SIGAPP Symposium On Applied Computing, Virtual Event, Online
ISBN978-1-4503-8713-2/22/04
Stichwörterconstraint logic programming; imperative programs; test case generation; symbolic execution; virtual machine

Autor*innen der Universität Münster

Kuchen, Herbert
Troost, Laura
Winkelmann, Hendrik

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