Selecting long atomic traces for high coverage

Roni Rosner, Micha Moffie, Yiannakis Sazeides, Ronny Ronen. Selecting long atomic traces for high coverage. In Utpal Banerjee, Kyle Gallivan, Antonio González, editors, Proceedings of the 17th Annual International Conference on Supercomputing, ICS 2003, San Francisco, CA, USA, June 23-26, 2003. pages 2-11, ACM, 2003. [doi]

@inproceedings{RosnerMSR03,
  title = {Selecting long atomic traces for high coverage},
  author = {Roni Rosner and Micha Moffie and Yiannakis Sazeides and Ronny Ronen},
  year = {2003},
  doi = {10.1145/782814.782818},
  url = {http://doi.acm.org/10.1145/782814.782818},
  tags = {coverage},
  researchr = {https://researchr.org/publication/RosnerMSR03},
  cites = {0},
  citedby = {0},
  pages = {2-11},
  booktitle = {Proceedings of the 17th Annual International Conference on Supercomputing, ICS 2003, San Francisco, CA, USA, June 23-26, 2003},
  editor = {Utpal Banerjee and Kyle Gallivan and Antonio González},
  publisher = {ACM},
  isbn = {1-58113-733-8},
}