1. . Testing object-oriented programs—an integrated approach. Proceedings of the 10th International Symposium on Software Reliability Engineering (ISSRE'99), Boca Raton, FL, November 1999. IEEE Computer Society Press: Los Alamitos, CA, 1999; 73–83.
2. Testing Software Design Modeled by Finite-State Machines
3. . Conformance Testing Methodologies and Architectures for OSI Protocols. IEEE Computer Society Press: Los Alamitos, CA, 1994.
4. . The state-based testing of object-oriented programs. Proceedings of the International Conference on Software Maintenance, Montreal, Quebec, Canada, September 1993. IEEE Computer Society Press: Los Alamitos, CA, 1993; 302–310.
5. Object Oriented Design with Applications. Benjamin Cummings: Menlo Park, CA, 1991.