Why is random testing effective for partition tolerance bugs?

Rupak Majumdar, Filip Niksic. Why is random testing effective for partition tolerance bugs?. Proceedings of the ACM on Programming Languages, 2(POPL), 2018. [doi]

Abstract

Abstract is missing.