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