Coverage guided systematic concurrency testing

Chao Wang, Mahmoud Said, Aarti Gupta. Coverage guided systematic concurrency testing. In Richard N. Taylor, Harald Gall, Nenad Medvidovic, editors, Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011. pages 221-230, ACM, 2011. [doi]

@inproceedings{WangSG11,
  title = {Coverage guided systematic concurrency testing},
  author = {Chao Wang and Mahmoud Said and Aarti Gupta},
  year = {2011},
  doi = {10.1145/1985793.1985824},
  url = {http://doi.acm.org/10.1145/1985793.1985824},
  tags = {test coverage, testing, coverage, systematic-approach},
  researchr = {https://researchr.org/publication/WangSG11},
  cites = {0},
  citedby = {0},
  pages = {221-230},
  booktitle = {Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  editor = {Richard N. Taylor and Harald Gall and Nenad Medvidovic},
  publisher = {ACM},
  isbn = {978-1-4503-0445-0},
}