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
Forschungsartikel in Sammelband (Konferenz)

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