Symbolic execution of NoSQL applications using versioned schemas

Winkelmann Hendrik, Kuchen Herbert


Schlüsselwörter
symbolic execution, nosql, java pathfinder extension, versioned schema, test case generation, mongodb



Publikationstyp
Forschungsartikel in Sammelband (Konferenz)

Begutachtet
Ja

Publikationsstatus
Veröffentlicht

Jahr
2021

Konferenz
36th Annual ACM Symposium on Applied Computing

Konferenzort
Virtual Event

Buchtitel
Proceedings of the 36th Annual ACM Symposium on Applied Computing

Herausgeber
Association for Computing Machinery

Erste Seite
1778

Letzte Seite
1787

Verlag
Association for Computing Machinery

Ort
New York, NY, USA

Sprache
Englisch

ISBN
978-1-4503-8104-8

DOI