S Xiao, S Li, X Wang, L Deng - Second IEEE International …, 2003 - ieeexplore.ieee.org
This paper reports a systematic approach for detecting software defects in multicast protocol
implementations. We deploy a fault-oriented methodology and an integrated test system …