Kuo-Chung Tai, Richard H. Carver
A Specification-Based Methology for Testing Concurrent Programs
ESEC, 1995.
@inproceedings{ESEC-1995-TaiC, author = "Kuo-Chung Tai and Richard H. Carver", booktitle = "{Proceedings of the Fifth European Software Engineering Conference}", doi = "10.1007/3-540-60406-5_13", editor = "Wilhelm Schäfer and Pere Botella", isbn = "3-540-60406-5", pages = "154--172", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Specification-Based Methology for Testing Concurrent Programs}", volume = 989, year = 1995, }