Constraint-Logic Object-Oriented Programming for Test Case Generation
Winkelmann Hendrik, Troost Laura, Kuchen Herbert
Keywords
constraint logic programming; imperative programs; test case generation; symbolic execution; virtual machine
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