Automatic Test Case Generation of Real Protocols: Framework and Methodology.

Tae-Hyong Kim, Ik-Soon Hwang, Chan-Min Park, Jai-Yong Lee, Sang-Bae Lee

Browse the full FORTE paper archive.