Kuo-Chung Tai, Richard H. Carver. A Specification-Based Methology for Testing Concurrent Programs. In Wilhelm Schäfer, Pere Botella, editors, 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, Proceedings. Volume 989 of Lecture Notes in Computer Science, pages 154-172, Springer, 1995.
Abstract is missing.