A Coverage Model to Capture the Communication Behaviour of Multi-Threaded Message-Passing Programs by K. Georgiou, M. Bartley, and K. Eder. Submitted to the International Conference on Software Testing (ICST 2014).