Automatic Test Case Generation of Real Protocols: Framework and Methodology. - Tae-Hyong Kim; Ik-Soon Hwang; Chan-Min Park; Jai-Yong Lee; Sang-Bae Lee (FORTE, 1998)

Test selection for a nondeterministic FSM. - Ik-Soon Hwang; Tae-Hyong Kim; Sung-Back Hong; Jai-Yong Lee (Comput. Commun., 2001)

Test case generation of a communication protocol by an adaptive state exploration. - Tae-Hyong Kim; Ik-Soon Hwang; MinSeok Jang; Jai-Yong Lee (Comput. Commun., 2001)

In-service QoS monitoring of real-time applications using SM MIB. - Yong-Hoon Choi; Ik-Soon Hwang (Int. J. Netw. Manag., 2005)