Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs

To Tsui, Shangru Wu, Wing Kwong Chan. Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs. In Hareton Kam Nang Leung, editor, Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014, Hong Kong, China, November 16, 2014. pages 49-56, ACM, 2014. [doi]

@inproceedings{TsuiWC14,
  title = {Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs},
  author = {To Tsui and Shangru Wu and Wing Kwong Chan},
  year = {2014},
  doi = {10.1145/2666581.2666592},
  url = {http://doi.acm.org/10.1145/2666581.2666592},
  researchr = {https://researchr.org/publication/TsuiWC14},
  cites = {0},
  citedby = {0},
  pages = {49-56},
  booktitle = {Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014, Hong Kong, China, November 16, 2014},
  editor = {Hareton Kam Nang Leung},
  publisher = {ACM},
  isbn = {978-1-4503-3226-2},
}