Efficient and Scalable Algorithms for Inferring Likely Invariants in Distributed Systems

Cite this paper

@article{Jiang2007EfficientAS, title={Efficient and Scalable Algorithms for Inferring Likely Invariants in Distributed Systems}, author={Guofei Jiang and Haifeng Chen and Kenji Yoshihira}, journal={IEEE Transactions on Knowledge and Data Engineering}, year={2007}, volume={19} }