S. S. Batth, E. R. Vieira, A. Cavalli, and M. U. Uyar, Specification of Timed EFSM Fault Models in SDL, Proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pp.50-65, 2007.
DOI : 10.1109/90.234857

F. Bessayah, A. Cavalli, W. Maja, E. Martins, and A. W. Valenti, A Fault Injection Tool for Testing Web Services Composition, Proceedings of 5th International Academic and Industrial Conference on Testing ? Practice and Research Techniques, pp.137-146, 2010.
DOI : 10.1007/978-3-642-15585-7_13
URL : https://hal.archives-ouvertes.fr/hal-01306763

K. T. Cheng and A. S. Krishnakumar, Automatic functional test generation using the extended finite state machine model, Proceedings of the 30th international on Design automation conference , DAC '93, pp.86-91, 1993.
DOI : 10.1145/157485.164585

M. E. Delamaro, J. C. Maldonado, A. Pasquini, and A. P. Mathur, Interface mutation test adequacy criterion: An empirical evaluation, Empirical Software Engineering, vol.6, issue.2, pp.111-142, 2001.
DOI : 10.1023/A:1011429104252

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

D. , V. Kroening, D. Weissenbacher, and G. , A survey of automated techniques for formal software verification, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.27, issue.7, pp.1165-1178, 2008.

N. Eén and N. Sörensson, An extensible SAT-solver, Proceedings of 7th International Conference on Theory and Applications of Satisfiability Testing, pp.333-336, 2004.

K. El-fakih, A. Kolomeez, S. Prokopenko, and N. Yevtushenko, Extended Finite State Machine Based Test Derivation Driven by User Defined Faults, 2008 International Conference on Software Testing, Verification, and Validation, pp.308-317, 2008.
DOI : 10.1109/ICST.2008.16

K. El-fakih, N. Yevtushenko, M. Bozga, and S. Bensalem, Distinguishing extended finite state machine configurations using predicate abstraction, Journal of Software Engineering Research and Development, vol.51, issue.11, p.1, 2016.
DOI : 10.1016/j.infsof.2009.06.005
URL : https://doi.org/10.1186/s40411-016-0027-4

W. Huang and J. Peleska, Exhaustive Model-Based Equivalence Class Testing, Proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, pp.49-64, 2013.
DOI : 10.1007/978-3-540-78917-8_1

Y. Jia and M. Harman, An Analysis and Survey of the Development of Mutation Testing, IEEE Transactions on Software Engineering, vol.37, issue.5, pp.649-678, 2011.
DOI : 10.1109/TSE.2010.62

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2009.
DOI : 10.1016/j.jlap.2008.08.004

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

N. Timo, O. Rollet, and A. , Conformance testing of variable driven automata, Proceedings of 8th IEEE International Workshop on Factory Communication Systems, pp.241-248, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00527305

T. Parr, The Definitive ANTLR 4 Reference. Pragmatic Bookshelf, 2013.

C. S. P?-as?-areanu and W. Visser, A survey of new trends in symbolic execution for software testing and analysis, Int. J. Softw. Tools Technol. Transf, vol.11, issue.4, pp.339-353, 2009.

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

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

A. Petrenko, O. Nguena-timo, and S. Ramesh, Multiple Mutation Testing from FSM, Proceedings of the 6th 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

A. Petrenko, O. Nguena-timo, and S. Ramesh, Test Generation by Constraint Solving and FSM Mutant Killing, Proceedings 28th IFIP WG 6.1 International Conference on Testing Software and Systems, pp.36-51, 2016.
DOI : 10.1109/ICSTW.2016.9
URL : https://hal.archives-ouvertes.fr/hal-01643724

A. Petrenko and A. Simao, Checking Experiments for Finite State Machines with Symbolic Inputs, Proceedings of 27th IFIP WG 6.1 International Conference on Testing Software and Systems, pp.3-18, 2015.
DOI : 10.1007/978-3-319-25945-1_1
URL : https://hal.archives-ouvertes.fr/hal-01470154

N. Scaife, C. Sofronis, P. Caspi, S. Tripakis, and F. Maraninchi, Defining and translating a "safe" subset of simulink/stateflow into lustre, Proceedings of the fourth ACM international conference on Embedded software , EMSOFT '04, pp.259-268, 2004.
DOI : 10.1145/1017753.1017795

M. Utting, A. Pretschner, and B. Legeard, A taxonomy of model-based testing approaches, Software Testing, Verification and Reliability, vol.30, issue.4, pp.297-312, 2012.
DOI : 10.1145/1353673.1353681
URL : https://hal.archives-ouvertes.fr/hal-00940611