Skip to content

Symbolic execution of NoSQL applications using versioned schemas.

Hendrik Winkelmann, Herbert Kuchen

Year2021
ProceedingsSAC

Browse the full SAC paper archive.