SS Yu, MT Liu - … ] IEEE INFOCOM'92: The Conference on …, 1992 - ieeexplore.ieee.org
The authors propose a novel method for test sequence generation based on UIOS which
only needs a minimal verification part. They also prove that the UIOv method (or revised …