Testing properties of weakly consistent programs with Repliss.

Published in: PaPoC@EuroSys (2017)

Keyphrases

artificial intelligence
operating system
structural properties
desirable properties
symbolic execution
imperative programs
database
neural network
real world
genetic algorithm
information systems
case study
database systems
globally optimal
helmholtz principle