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}, }