Symbolic execution of NoSQL applications using versioned schemas
Winkelmann Hendrik, Kuchen Herbert
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Association for Computing Machinery
Buchtitel: Proceedings of the 36th Annual ACM Symposium on Applied Computing
Seitenbereich: 1778-1787
Verlag: ACM Press
Erscheinungsort: New York, NY, USA
Status: Veröffentlicht
Veröffentlichungsjahr: 2021
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 36th Annual ACM Symposium on Applied Computing, Virtual Event, Online
ISBN: 978-1-4503-8104-8
Stichwörter: symbolic execution, nosql, java pathfinder extension, versioned schema, test case generation, mongodb
Autor*innen der Universität Münster
| Kuchen, Herbert | Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI) |
| Winkelmann, Hendrik | Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI) |