The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs. - Heui-Seok Seo; In Sang Chung; Byeong Man Kim; Yong Rae Kwon (APSEC, 2001)

Modeling and Testing Agent Systems Based on Statecharts. - Heui-Seok Seo; Tadashi Araragi; Yong Rae Kwon (FORTE Workshops, 2004)

Generating Test Sequences from Statecharts for Concurrent Program Testing. - Heui-Seok Seo; In Sang Chung; Yong Rae Kwon (IEICE Trans. Inf. Syst., 2006)