Title	A Passive Testing Technique with Minimized On-line Processing For Fault Management of Network Protocols
Author	Tae-Hyong Kim
Citation	Vol. 7  No. 3  pp. 7-14
Keywords	Network fault management, Passive testing, Expansion of an EFSM

Title	Test Case Generation for Context Testing of Embedded Systems
Author	Qi-Ping Yang, Tae-Hyong Kim
Citation	Vol. 7  No. 11  pp. 142-148
Keywords	Embedded System, Context Testing, Test Case Generation

Title	Test Generation for a Protocol Specified in SDL with Complex Loops by Event-based EFSM Modeling
Author	Tae-Hyong Kim
Citation	Vol. 8  No. 3  pp. 122-129
Keywords	Test generation, SDL, EFSM Modeling, Loop testing

Title	Automatic Functional Verification of OPNET Models with SDL-OPNET Co-Simulation
Author	Tae-Hyong Kim, Qi-Ping Yang, Jae-Woo Kim
Citation	Vol. 11  No. 5  pp. 145-151
Keywords	Model-driven development, model verification, Performance evaluation, Co-simulation