To search, Click below search items.
All Published Papers Search Service
Title
Test Generation for a Protocol Specified in SDL with Complex Loops by Event-based EFSM Modeling
Author
Tae-Hyong Kim
Vol. 8 No. 3 pp. 122-129
Keywords
Test generation, SDL, EFSM Modeling, Loop testing