Kuo-Chung Tai. An approach to testing concurrent Ada programs. In Robert J. Knapper, David Dikel, editors, Proceedings of the Third Annual Washington Ada Symposium on Ada - Ada Use in Focus : Practical Lessons in Perspective, WADAS 1986, Laurel, Maryland, USA, 1986. pages 253-264, ACM, 1986. [doi]
Abstract is missing.