1. Ammann P., Black P., and Majurski W. Using Model Checking to Generate Tests from Specifications. Proceedings of 2nd IEEE International Conference on Formal Engineering Methods (ICFEM’98); December 1998; Brisbane, Australia. IEEE Computer Society.
2. v. Bochmann G., Das, A. Dssouli R., Dubuc M., Ghedamsi A., Luo G. Fault Model in Testing. Proceedings of the IFIP IV Workshop on Protocol Test Systems; October 1991; Leidschendam, The Netherlands.
3. Callahan J. and Schneider F. Specification—Based Testing using Model Checking. Proceedings of the 2nd SPIN Workshop; August 1996; Rutgers, NJ.
4. Jeron T. and Morel P. Test Generation Derived from Model-Checking. In Proceedings of the 11`“ Conference on Computer-Aided Verification (CAV’99); July 1999; Trento, Italy. LNCS 1633.
5. Fabbri S.C.P.F., Maldonado J.C, Masiero P.C., and Delamaro M.E. Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing. Proceedings of the 19th International Conference of the Chilean Computer Science Society; November 1999; Talca, Chile.