A methodology for testing concurrent Ada programs. - Kuo-Chung Tai; Richard H. Carver; Evelyn E. Obaid (WADAS, 1987)

Deterministic execution debugging of concurrent Ada programs. - Kuo-Chung Tai; Richard H. Carver; Evelyn E. Obaid (COMPSAC, 1989)

Debugging Concurrent Ada Programs by Deterministic Execution. - Kuo-Chung Tai; Richard H. Carver; Evelyn E. Obaid (IEEE Trans. Software Eng., 1991)