A Reduced Test Suite for Protocol Conformance Testing.

Philip J. Bernhard A Reduced Test Suite for Protocol Conformance Testing. 201-220 1994 3 ACM Trans. Softw. Eng. Methodol. 3 db/journals/tosem/tosem3.html#Bernhard94 http://doi.acm.org/10.1145/196092.196088