Constraint-Logic Object-Oriented Programming for Test Case Generation

Winkelmann Hendrik, Troost Laura, Kuchen Herbert


Schlüsselwörter
constraint logic programming; imperative programs; test case generation; symbolic execution; virtual machine



Publikationstyp
Forschungsartikel in Sammelband (Konferenz)

Begutachtet
Ja

Publikationsstatus
Veröffentlicht

Jahr
2022

Konferenz
37th ACM/SIGAPP Symposium On Applied Computing

Konferenzort
Virtual Event

Buchtitel
37th ACM/SIGAPP Symposium On Applied Computing

Herausgeber
Association for Computing Machinery

Erste Seite
1499

Letzte Seite
1508

Verlag
Association for Computing Machinery

Ort
New York, NY, USA

Sprache
Englisch

ISBN
978-1-4503-8713-2/22/04

DOI

Gesamter Text