Rehearsal: a configuration verification tool for puppet.

Rian Shambaugh, Aaron Weiss, Arjun Guha

Browse the full PLDI paper archive.