Rehearsal: a configuration verification tool for puppet.

Rian Shambaugh Aaron Weiss Arjun Guha

Published in: PLDI (2016)

Keyphrases

data sets
decision making
image processing
similarity measure
model checking
software tools
databases
multimedia
database systems
multiresolution
open source
analysis tool