Symbolic execution of NoSQL applications using versioned schemas
Winkelmann Hendrik, Kuchen Herbert
Keywords
symbolic execution, nosql, java pathfinder extension, versioned schema, test case generation, mongodb
Publication type
Research article in proceedings (conference)
Peer reviewed
Yes
Publication status
Published
Year
2021
Conference
36th Annual ACM Symposium on Applied Computing
Venue
Virtual Event
Book title
Proceedings of the 36th Annual ACM Symposium on Applied Computing
Editor
Association for Computing Machinery
Start page
1778
End page
1787
Publisher
Association for Computing Machinery
Place
New York, NY, USA
Language
English
ISBN
978-1-4503-8104-8
DOI