Charles Lucas, Sebastian G. Elbaum, David S. Rosenblum. Detecting problematic message sequences and frequencies in distributed systems. In Gary T. Leavens, Matthew B. Dwyer, editors, Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012. pages 915-926, ACM, 2012. [doi]
@inproceedings{LucasER12,
title = {Detecting problematic message sequences and frequencies in distributed systems},
author = {Charles Lucas and Sebastian G. Elbaum and David S. Rosenblum},
year = {2012},
doi = {10.1145/2384616.2384683},
url = {http://doi.acm.org/10.1145/2384616.2384683},
researchr = {https://researchr.org/publication/LucasER12},
cites = {0},
citedby = {0},
pages = {915-926},
booktitle = {Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012},
editor = {Gary T. Leavens and Matthew B. Dwyer},
publisher = {ACM},
isbn = {978-1-4503-1561-6},
}