1. Weyuker, E. J. and Rapps, S. (1985). Selecting software test data using data flow information. IEEE trans. on Software Engineering., SE-11(4), 367–375.
2. Aho, A. V., Dahbura, A. T., Lee, David and Uyar, M. U. (1988). An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. Protocol Specification, Testing and Verification ‘88., Atlantic City, USA, 75–86.
3. Lee, Do-young and Lee, Jai-yong (1991). A well-defined Estelle specification for the automatic test generation. IEEE trans. on Computer., COM-40(4), 526–542.
4. Ural, H. and Yang, B. (1991). A test sequence selection method for protocol testing. IEEE trans. on Communications., COMM-39(4), 514–523.
5. Chanson, S. T. and Zhu, Jinsong (1993). A unified approach to protocol test sequence generation. IEEE INFOCOM ‘83., San Francisco, USA, 106–114.