Constraint-Logic Object-Oriented Programming for Test Case Generation
Winkelmann Hendrik, Troost Laura, Kuchen Herbert
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Association for Computing Machinery
Book title: 37th ACM/SIGAPP Symposium On Applied Computing
Page range: 1499-1508
Publisher: ACM Press
Place of publication: New York, NY, USA
Status: Published
Release year: 2022 (06/05/2022)
Language in which the publication is written: English
Conference: 37th ACM/SIGAPP Symposium On Applied Computing, Virtual Event, Online
ISBN: 978-1-4503-8713-2/22/04
Link to the full text: https://dl.acm.org/doi/10.1145/3477314.3507015
Keywords: constraint logic programming; imperative programs; test case generation; symbolic execution; virtual machine
Authors from the University of Münster
| Kuchen, Herbert | |
| Troost, Laura | |
| Winkelmann, Hendrik |
Distinctions received for the publication
| ACM Best Paper Award Awarded by: Association for Computing Machinery (ACM) Award given to: Winkelmann, Hendrik; Troost, Laura; Kuchen, Herbert Announced at: 03/05/2022 | Date of awarding: 03/05/2022 Type of distinction: Best publication award |