Constraint-Logic Object-Oriented Programming for Test Case Generation
Keywords
constraint logic programming; imperative programs; test case generation; symbolic execution; virtual machine
Cite as
Winkelmann, H., Troost, L., & Kuchen, H. (2022). Constraint-Logic Object-Oriented Programming for Test Case Generation. In Association, f. C. M. (Ed.), 37th ACM/SIGAPP Symposium On Applied Computing (pp. 1499–1508). New York, NY, USA: Association for Computing Machinery.Details
Publication type
Research article in proceedings (conference)
Peer reviewed
Yes
Publication status
Published
Year
2022
Conference
37th ACM/SIGAPP Symposium On Applied Computing
Venue
Virtual Event
Book title
37th ACM/SIGAPP Symposium On Applied Computing
Editor
Association for Computing Machinery
Start page
1499
End page
1508
Publisher
Association for Computing Machinery
Place
New York, NY, USA
Language
English
ISBN
978-1-4503-8713-2/22/04
DOI
Full text