Deepinder Sidhu;Raghu Vallurupalli
Univ. of Maryland, College Park and Univ. of Maryland, Baltimore;Univ. of Maryland, College Park and Univ. of Maryland, Baltimore
Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences
IEEE/ACM Transactions on Networking (TON)
Scientific foundations to the multilevel method