On the Verification and Validation of Protocols with High Fault Coverage Using UIO Sequences.

Xiao Sun, Yinan N. Shen, Fabrizio Lombardi

Browse the full SRDS paper archive.