A structural analysis approach to the evaluation of fault coverage for protocol conformance testing.

Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann

Browse the full FORTE paper archive.