Application of finite automatons for program testing

Wong, H., Barantsev, A., Burdonov, I., and Kosachev, A., Report on Test Generation Methodology,NORTEL, 1997.

Beizer, B.,Software Testing Techniques, New York: Van Nostrand Reinhold, 1990, 2nd edition.

Burdonov, I., Kosachev, A., Petrenko, A., Cheng, S., and Wong, H., Formal Specification and Verification of SOS Kernel,BNR/NORTEL Design Forum, 1996.

Hoffman, D. and Strooper, P., ClassBench: a Framework for Automated Class Testing,Software Maintenance: Practice and Experience, 1997, vol. 27, no. 5, pp. 573–579.

Murray, L., Carrington, D., MacColl, I., McDonald, J., and Strooper, P., Formal Derivation of Finite State Machines for Class Testing,ZUM'98: The Z Formal Specification Notation, 11th Int. Conf. of Z Users, Bowen, J.P., Fett, A., and Hinchey, M.G., Eds.,Lect. Notes Comput. Sci., Springer, 1998, vol. 1493, pp. 42–59.

Peters, D.K. and Parnas, D.L., Using Test Oracles Generated from Program Documentation,IEEE Trans. Software Eng., 1998, vol. 24, no. 3, pp. 161–173.

Petrenko, A.K., Burdonov, I.B., Drojjina, A.Yu., Kossatchev, A.S., Maximov, A.V., Sazanov, Yu.L., and Sumar, H., Preliminary Test Methodology and Test System Report,NORTEL, 1995.

Turner, C.D. and Robson, D.J., The State-based Testing of Object-Oriented Programs,Proc. IEEE Conf. Software Maintenance, 1993, pp. 302–310.