I. Pomeranz and M. R. Sudhakar, Test generation for multiple state-table faults in finite-state machines, IEEE Transactions on Computers, vol.46, issue.7, pp.783-794, 1997.
DOI : 10.1109/12.599899

J. F. Poage, J. Mccluskey, and E. J. , Derivation of optimal test sequences for sequential machines, Proceedings of the IEEE 5th Symposium on Switching Circuits Theory and Logical Design, pp.121-132, 1964.

R. A. Demilli and J. A. Offutt, Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991.
DOI : 10.1109/32.92910

I. S. Grunsky and A. Petrenko, Design of checking experiments with automata describing protocols . Automatic Control and Computer Sciences, 1988.

F. C. Hennie, Fault detecting experiments for sequential circuits, Proceedings of the IEEE 5th Annual Symposium on Switching Circuits Theory and Logical Design. Princeton, pp.95-110, 1964.

I. Koufareva, A. Petrenko, and N. Yevtushenko, Test Generation Driven by User-Defined Fault Models, Proceedings of the 12th International Workshop on Testing of Communicating Systems, pp.215-233, 1999.
DOI : 10.1007/978-0-387-35567-2_14
URL : http://www.crim.ca/rd/publications/TEL_IWTCS99.pdf

D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, pp.1090-1123, 1996.
DOI : 10.1109/5.533956

E. F. Moore, Gedanken-Experiments on Sequential Machines, pp.129-153, 1956.
DOI : 10.1515/9781400882618-006

A. Petrenko and N. Yevtushenko, Test suite generation for a FSM with a given type of implementation errors, Proceedings of IFIP 12th International Symposium on Protocol Specification , Testing, and Verification, pp.229-243, 1992.
DOI : 10.1016/B978-0-444-89874-6.50021-0

A. Petrenko, N. Yevtushenko, and G. V. Bochmann, Fault models for testing in context, Formal Description Techniques IX, pp.163-178, 1996.
DOI : 10.1007/978-0-387-35079-0_10

M. P. Vasilevskii, Failure diagnosis of automata. Cybernetics, pp.653-665, 1973.
DOI : 10.1007/bf01068590

T. S. Chow, Testing Software Design Modeled by Finite-State Machines, IEEE Transactions on Software Engineering, vol.4, issue.3, pp.178-187, 1978.
DOI : 10.1109/TSE.1978.231496

S. T. Vuong and K. C. Ko, A novel approach to protocol test sequence generation. Global Telecommunications Conference 3, pp.2-5, 1990.
DOI : 10.1109/glocom.1990.116807

A. Petrenko, S. Boroday, and R. Groz, Confirming configurations in efsm testing, IEEE Transactions on Software Engineering, vol.30, issue.1, pp.29-42, 2004.
DOI : 10.1109/TSE.2004.1265734
URL : http://www.crim.ca/rd/publications/ASD_PetAals_ITSE04.pdf

D. Moura, L. Bjørner, and N. , Z3: An Efficient SMT Solver, Proc. of Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008.
DOI : 10.1007/978-3-540-78800-3_24

G. V. Bochmann, Fault models in testing, Proceedings of the IFIP TC6/WG6. 1 Fourth International Workshop on Protocol Test Systems, pp.17-30, 1991.

A. Petrenko and N. Yevtushenko, Testing from Partial Deterministic FSM Specifications, IEEE Transactions on Computers, vol.54, issue.9, pp.1154-1165, 2005.
DOI : 10.1109/TC.2005.152

A. Petrenko, A. Dury, S. Ramesh, and S. Mohalik, A Method and Tool for Test Optimization for Automotive Controllers, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, pp.198-207, 2013.
DOI : 10.1109/ICSTW.2013.31

T. Parr, The definitive ANTLR 4 reference, Pragmatic Bookshelf, vol.2, 2013.

A. Petrenko, N. Timo, O. Ramesh, and S. , Multiple Mutation Testing from FSM, Proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp.222-238, 2016.
DOI : 10.1109/ICSTW.2013.31
URL : https://hal.archives-ouvertes.fr/hal-01432920

F. Belli, C. J. Budnik, A. Hollmann, T. Tuglular, and W. E. Wong, Model-based mutation testing???Approach and case studies, Science of Computer Programming, vol.120, pp.25-48, 2016.
DOI : 10.1016/j.scico.2016.01.003

K. El-fakih, R. Dorofeeva, N. Yevtushenko, and G. V. Bochmann, FSM-based testing from user defined faults adapted to incremental and mutation testing, Programming and Computer Software, vol.38, issue.4, pp.201-209, 2012.
DOI : 10.1134/S0361768812040019
URL : http://www.site.uottawa.ca/~bochmann/dsrg/Docs/Pub/ElFa12.pdf

A. Petrenko, Checking Experiments for Symbolic Input/Output Finite State Machines, 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.229-237, 2016.
DOI : 10.1109/ICSTW.2016.9