| |
| 2006 | ||
|---|---|---|
| 3 | EE | Heui-Seok Seo, In Sang Chung, Yong Rae Kwon: Generating Test Sequences from Statecharts for Concurrent Program Testing. IEICE Transactions 89-D(4): 1459-1469 (2006) |
| 2004 | ||
| 2 | EE | Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon: Modeling and Testing Agent Systems Based on Statecharts. FORTE Workshops 2004: 308-321 |
| 2001 | ||
| 1 | EE | 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: 221-228 |
| 1 | Tadashi Araragi | [2] |
| 2 | In Sang Chung | [1] [3] |
| 3 | Byeong Man Kim | [1] |
| 4 | Yong Rae Kwon | [1] [2] [3] |