Constraint-Logic Object-Oriented Programming for Test Case Generation
Schlüsselwörter
constraint logic programming; imperative programs; test case generation; symbolic execution; virtual machine
Zitieren als
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
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