TESTGEN: An environment for protocol test suite generation and selection. - Son T. Vuong; H. Janssen; Y. Lu; C. Mathieson; B. Do (Comput. Commun., 1994)