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
Publisher: Association for Computing Machinery
Book title: 37th ACM/SIGAPP Symposium On Applied Computing
Page range: 1499-1508
Publishing company: 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 | Practical Computer Science Group (PI) European Research Center for Information Systems (ERCIS) |
| Troost, Laura | Practical Computer Science Group (PI) |
| Winkelmann, Hendrik | Practical Computer Science Group (PI) |