"On Static and Dynamic Test Case Selections in Protocol Confomance Testing."

Samuel T. Chanson, Qin Li (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics