A New Protocol Test Sequence Generation Method Based on UIOS. - Shwuhwa S. Yu; Ming T. Liu (INFOCOM, 1992)