Symbolic execution of NoSQL applications using versioned schemas
Winkelmann Hendrik, Kuchen Herbert
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Association for Computing Machinery
Book title: Proceedings of the 36th Annual ACM Symposium on Applied Computing
Page range: 1778-1787
Publisher: ACM Press
Place of publication: New York, NY, USA
Status: Published
Release year: 2021
Language in which the publication is written: English
Conference: 36th Annual ACM Symposium on Applied Computing, Virtual Event, Online
ISBN: 978-1-4503-8104-8
Keywords: symbolic execution, nosql, java pathfinder extension, versioned schema, test case generation, mongodb
Authors from the University of Münster
| Kuchen, Herbert | |
| Winkelmann, Hendrik |