@inproceedings{<a href="http://dblp.uni-trier.de/db/about/bibtex.html">DBLP</a>:conf/oopsla/LucasER12,
  author    = {Charles Lucas and
               Sebastian G. Elbaum and
               David S. Rosenblum},
  title     = {Detecting problematic message sequences and frequencies
               in distributed systems},
  booktitle = {OOPSLA},
  year      = {2012},
  pages     = {915-926},
  ee        = {http://doi.acm.org/10.1145/2384616.2384683},
  crossref  = {DBLP:conf/oopsla/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{<a href="http://dblp.uni-trier.de/db/about/bibtex.html">DBLP</a>:conf/oopsla/2012,
  editor    = {Gary T. Leavens and
               Matthew B. Dwyer},
  title     = {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},
  booktitle = {OOPSLA},
  publisher = {ACM},
  year      = {2012},
  isbn      = {978-1-4503-1561-6},
  ee        = {http://dl.acm.org/citation.cfm?id=2384616},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}