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