Tae-Hyong Kim, Ik-Soon Hwang, MinSeok Jang, Jai-Yong Lee. Test case generation of a communication protocol by an adaptive state exploration. Computer Communications, 24(13):1242-1255, 2001. [doi]
@article{KimHJL01, title = {Test case generation of a communication protocol by an adaptive state exploration}, author = {Tae-Hyong Kim and Ik-Soon Hwang and MinSeok Jang and Jai-Yong Lee}, year = {2001}, doi = {10.1016/S0140-3664(00)00343-1}, url = {http://dx.doi.org/10.1016/S0140-3664(00)00343-1}, researchr = {https://researchr.org/publication/KimHJL01}, cites = {0}, citedby = {0}, journal = {Computer Communications}, volume = {24}, number = {13}, pages = {1242-1255}, }