Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima. A Test-case Generation Method for Concurrent Programs Including Task-types. In 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC 97 / ICSC 97), 2-5 December 1997, Clear Water Bay, Hong Kong. pages 485-494, IEEE Computer Society, 1997. [doi]
Abstract is missing.