Detecting problematic message sequences and frequencies in distributed systems. - Charles Lucas; Sebastian G. Elbaum; David S. Rosenblum (OOPSLA, 2012)