Constraint-Logic Object-Oriented Programming for Test Case Generation

Winkelmann Hendrik, Troost Laura, Kuchen Herbert

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

Herausgeber*innen: Association for Computing Machinery

Buchtitel: 37th ACM/SIGAPP Symposium On Applied Computing

Seitenbereich: 1499-1508

Verlag: ACM Press

Erscheinungsort: New York, NY, USA

Status: Veröffentlicht

Veröffentlichungsjahr: 2022 (06.05.2022)

Sprache, in der die Publikation verfasst ist: Englisch

Konferenz: 37th ACM/SIGAPP Symposium On Applied Computing, Virtual Event, Online

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

Stichwörter: constraint logic programming; imperative programs; test case generation; symbolic execution; virtual machine

Kuchen, Herbert	Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI) European Research Center for Information Systems (ERCIS)
Troost, Laura	Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)
Winkelmann, Hendrik	Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)