Inferring Formal Properties of Production Key-Value Stores.

Edgar Pek Pranav Garg Muntasir Raihan Rahman Karl Palmskog Indranil Gupta P. Madhusudan

Published in: CoRR (2017)

Keyphrases

desirable properties
databases
formal language
data structure
evolutionary algorithm
production system
database
real world
computer vision
information systems
image processing
probability distribution
structural properties
topological properties
formal models