CrystalBall: predicting and preventing inconsistencies in deployed distributed systems (2009)

by Maysam Yabandeh, Nikola Knezevic, Dejan Kostic, Viktor Kuncak
Venue:In Networked Systems Design and Implementation (NSDI