Constraint-Logic Object-Oriented Programming for Test Case Generation
Winkelmann Hendrik, Troost Laura, Kuchen Herbert
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails 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
Link zum Volltext: https://dl.acm.org/doi/10.1145/3477314.3507015
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 |