R.-D. Yang C.-G. Chung Path analysis testing of concurrent programs. 43-56 1992 34 Inf. Softw. Technol. 1 https://doi.org/10.1016/0950-5849(92)90093-5 db/journals/infsof/infsof34.html#YangC92