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

by M Yabandeh, N Kneˇzević, D Kostić, V Kuncak
Venue:In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation. USENIX