A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines. - Deukyoon Kang; Sungwon Kang; Myungchul Kim 001; Sangjo Yoo (FORTE, 1997)

Development and Application of ATM Protocol Conformance Test System. - Sungwon Kang; Youngsoo Seo; Deukyoon Kang; Mijeong Hong; Junhwan Yang; Ilkook Koh; Jaehwi Shin; Sangjo Yoo; Myungchul Kim 001 (IWTCS, 1999)