A Unified Approach to Protocol Test Sequence Generation.

Samuel T. Chanson, Jinsong Zhu

Browse the full INFOCOM paper archive.