Efficient and Scalable Algorithms for Inferring Likely Invariants in Distributed Systems (2007)

by Guofei Jiang, Haifeng Chen, Kenji Yoshihira
Venue:IEEE Transactions on Knowledge and Data Engineering