Lin Gui 0002, Jun Sun 0001, Yang Liu, Jin Song Dong. Reliability assessment for distributed systems via communication abstraction and refinement. In Michal Young, Tao Xie, editors, Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015. pages 293-304, ACM, 2015. [doi]
Abstract is missing.