Nam Hee Lee

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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 Nam Hee Lee, Sung Deok Cha: Generating test sequences from a set of MSCs. Computer Networks 42(3): 405-417 (2003)

2 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 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

	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		Nam Hee Lee, Sung Deok Cha: Generating test sequences from a set of MSCs. Computer Networks 42(3): 405-417 (2003)
2		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		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

Coauthor Index