Katayama, T., Furukawa, Z. and Ushijima, K. (1997) A Test-Case Generation Method for Concurrent Programs Including Task-Types. Proceedings Joint 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference 1997 (APSEC’97/ICSC’97), 485-494.

has been cited by the following article: