Heui-Seok Seo

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

Publications

Heui-Seok Seo, In Sang Chung, Yong Rae Kwon
Generating Test Sequences from Statecharts for Concurrent Program Testing. IEICE Trans. Inf. Syst. (4) (2006)
Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon
Modeling and Testing Agent Systems Based on Statecharts. FORTE Workshops (2004)
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. APSEC (2001)