Richard H. Carver, Kuo-Chung Tai. Deterministic execution testing of concurrent Ada programs. In John T. Foreman, Charles B. Engle Jr., editors, Proceedings of the Conference on Tri-Ada 1989 - Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 528-544, ACM, 1989. [doi]
Abstract is missing.