Synchronizable Protocol Test Generation via the Duplex Technique.

Wen-Huei Chen, Ching-Sung Lu, L. Chen, Jin-Tuu Wang

Browse the full INFOCOM paper archive.