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. Demillo, R. J. Lipton, and F. G. Sayward, Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, pp.34-41, 1978.
DOI : 10.1109/C-M.1978.218136

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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.7815

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.

J. C. Godskesen, Fault Models for Embedded Systems, Proceedings of 10th IFIP Advanced Research Working Conference on Correct Hardware Design and Verification Methods, pp.356-359, 1999.
DOI : 10.1007/3-540-48153-2_33
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.9057

K. Cheng and J. Jou, A functional fault model for sequential machines, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.11, issue.9, pp.1065-1073, 1992.
DOI : 10.1109/43.159992

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

F. Gordon, F. Wotawa, and P. Ammann, Testing with model checkers: a survey. Software Testing Verification and Reliability 19, pp.215-261, 2009.

S. Anand, An orchestrated survey of methodologies for automated software test case generation, Journal of Systems and Software, vol.86, issue.8, pp.1978-2001, 2013.
DOI : 10.1016/j.jss.2013.02.061

A. Petrenko, Fault model-driven test derivation from finite state models: Annotated bibliography . Modeling and verification of parallel processes, pp.196-205, 2001.
DOI : 10.1007/3-540-45510-8_10

A. Petrenko, . Bochmann, . Gv, and M. Yao, On fault coverage of tests for finite state specifications, Computer Networks and ISDN Systems, vol.29, issue.1, pp.81-106, 1996.
DOI : 10.1016/S0169-7552(96)00019-0

A. Simao, A. Petrenko, and J. C. Maldonado, Comparing finite state machine test coverage criteria, IET Software, vol.3, issue.2, pp.91-105, 2009.
DOI : 10.1049/iet-sen.2008.0018

D. Moura, L. Dutertre, and B. , Yices 1.0: An efficient SMT solver. The Satisfiability Modulo Theories Competition, SMT-COMP), 2006.

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

S. R?sch, S. Ulewicz, J. Provost, and B. Vogel-heuser, Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains???Current Challenges and Research Gaps, Journal of Software Engineering and Applications, vol.08, issue.09, pp.499-519, 2015.
DOI : 10.4236/jsea.2015.89048

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

B. Korel, L. H. Tahat, and M. Harman, Test prioritization using system models, 21st IEEE International Conference on Software Maintenance (ICSM'05), pp.559-568, 2005.
DOI : 10.1109/ICSM.2005.87

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, 2013.