Majumdar, R., & Niksic, F. (2018). Why is Random Testing Effective for Partition Tolerance Bugs? Proceedings of the ACM on Programming Languages, 2(POPL): 46, pp. 1-24. doi:10.1145/3158134.