Jinsong Zhu Samuel T. Chanson Towards evaluating fault coverage of protocol test sequences. 137-151 1994 conf/pstv/1994 PSTV db/conf/pstv/pstv1994.html#ZhuC94