Jinsong Zhu Son T. Vuong Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols. 299-314 1997 conf/forte/1997 FORTE db/conf/forte/forte1997.html#ZhuV97