1. Parrish, A.S., Borie, R.B., Cordes, D.W.: Automated flow graph based testing of object oriented software modules. J. Syst. Softw. 23, 95–109 (1993)
2. Harumi, W., Hiroki, T., Wu, W., Saeki, M.: A technique for analyzing and testing object-oriented software using colored petri nets. In: IEEE International Conference, pp. 182–190 (1998)
3. Doong, R.K., Frankl, P.G.: The ASTOOT approach to testing object oriented programs. ACM Trans. Softw. Eng. Methodol. 3, 101–130 (1994)
4. Liu, W., Liu, W., Dasiewicz, P.: The event-flow technique for selecting test cases for object-oriented programs. In: IEEE Conference Proceedings (1997)
5. Irvine, A., Offutt, A.J.: The effectiveness of category partition testing of object-oriented software. CiteseerX (1995)