| |
| 2004 | ||
|---|---|---|
| 4 | Nam Hee Lee, Sung Deok Cha: Generating Reduced Finite State Machine from Concurrent Scenarios Using Static Partial Order Method. Journal of Research and Practice in Information Technology 36(3): 145-156 (2004) | |
| 2003 | ||
| 3 | EE | Nam Hee Lee, Sung Deok Cha: Generating test sequences from a set of MSCs. Computer Networks 42(3): 405-417 (2003) |
| 2 | EE | Nam Hee Lee, Sung Deok Cha: Generating test sequences using symbolic execution for event-driven real-time systems. Microprocessors and Microsystems 27(10): 523-531 (2003) |
| 2002 | ||
| 1 | EE | Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha: Construction of global finite state machine for testing task interactions written in message sequence charts. SEKE 2002: 369-376 |
| 1 | Sung Deok Cha | [1] [2] [3] [4] |
| 2 | Tai Hyo Kim | [1] |