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