Heui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon. The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs. In 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China. pages 221-228, IEEE Computer Society, 2001. [doi]
Abstract is missing.