Reproducible Testing of Concurrent Programs Based on Shared Variables

Richard H. Carver, Kuo-Chung Tai. Reproducible Testing of Concurrent Programs Based on Shared Variables. In ICDCS. pages 428-433, 1986.

@inproceedings{CarverT86,
  title = {Reproducible Testing of Concurrent Programs Based on Shared Variables},
  author = {Richard H. Carver and Kuo-Chung Tai},
  year = {1986},
  tags = {rule-based, testing},
  researchr = {https://researchr.org/publication/CarverT86},
  cites = {0},
  citedby = {0},
  pages = {428-433},
  booktitle = {ICDCS},
}