Test sequence generation methods for protocol conformance testing.

Chul Kim, J. S. Song

Browse the full COMPSAC paper archive.