"Automated vulnerability discovery in distributed systems."

Radu Banabic, George Candea, Rachid Guerraoui (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics