Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima. Design and Implementation of Test-Case Generation for Concurrent Programs. In 5th Asia-Pacific Software Engineering Conference (APSEC 98), 2-4 December 1998, Taipei, Taiwan, ROC. pages 262-269, IEEE Computer Society, 1998. [doi]
Abstract is missing.