Test case generation of a communication protocol by an adaptive state exploration.

Tae-Hyong KimIk-Soon HwangMinSeok JangJai-Yong Lee
Published in: Comput. Commun. (2001)