R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, p.235, 1994.

N. Bertrand, T. Jéron, A. Stainer, and M. Krichen, O-line test selection with test purposes for non-deterministic timed automata, Proceedings of TACAS'2011, 2011.

H. Bohnenkamp and A. Belinfante, Timed testing with TorX, FM 2005: Formal Methods. pp. 173188, 2005.

L. D. Bousquet, F. Ouabdesselam, J. L. Richier, and N. Zuanon, Lutess: A specication-driven testing environment for synchronous software, Proceedings of ICSE'1999, p.267276, 1999.

D. Bresolin, K. El-fakih, T. Villa, and N. Yevtushenko, Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power, 2014.

T. S. Chow, Testing software design modeled by nite-state machines, IEEE Transactions on Software Engineering SE, vol.4, issue.3, p.178187, 1978.

K. Derderian, M. G. Merayo, R. M. Hierons, and M. Núñez, Aiding test case generation in temporally constrained state based systems using genetic algorithms, 2009.

R. Dorofeeva, K. El-fakih, S. Maag, A. R. Cavalli, and N. Yevtushenko, Fsm-based conformance testing methods: A survey annotated with experimental evaluation, Information & Software Technology, vol.52, issue.12, p.12861297, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00593960

K. El-fakih, N. Yevtushenko, and H. Fouchal, Testing Timed Finite State Machines with Guaranteed Fault Coverage, Proceedings of the 21st TESTCOM and 9th FATES, p.6680, 2009.

M. Krichen and S. Tripakis, Conformance testing for real-time systems, FMSD, vol.34, p.238304, 2009.

M. Lallali, F. Zaidi, and A. Cavalli, Timed modeling of web services composition for automatic testing, 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, p.417426, 2007.

K. G. Larsen, M. Mikucionis, B. Nielsen, and A. Skou, Testing real-time embedded software using Uppaal-Tron: An industrial case study, Proceedings of EM-SOFT'05, p.299306, 2005.

B. Marre and A. Arnould, Test sequences generation from LUSTRE descriptions: GATEL, Proceedings ASE'2000, p.229237, 2000.

M. G. Merayo, M. Núñez, and I. Rodríguez, Formal testing from timed nite state machines, Computer networks, vol.52, issue.2, p.432460, 2008.

M. Mikucionis, K. G. Larsen, and B. Nielsen, T-Uppaal: Online model-based testing of real-time systems, Proceedings of ASE'2004, vol.396397, 2004.

S. Naito and M. Tsunoyama, Fault detection for sequential machines by transitiontours, Proceedings of Fault Tolerant Computer Systems, p.238243, 1981.

O. Nguena-timo, A. Petrenko, and S. Ramesh, Multiple Mutation Testing from Finite State Machines with Symbolic Inputs, Proceedings of ICTSS'2017, p.354375, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01678962

O. Nguena-timo, A. Petrenko, and S. Ramesh, Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving, Proceedings of IC-TAC'18, p.3651, 2018.

O. Nguena-timo and A. Rollet, Conformance testing of variable driven automata, WFCS'2010, p.241248, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00527305

R. Nilsson, J. Outt, and J. Mellin, Test case generation for mutation-based testing of timeliness, Electr. Notes Theor. Comput. Sci, vol.164, issue.4, p.97114, 2006.

A. Petrenko, O. Nguena-timo, and S. Ramesh, Multiple Mutation Testing from FSM, Proceedings of FORTE'2016, p.222238, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01432920

A. Petrenko and N. Yevtushenko, Test Suite Generation from a FSM with a Given Type of Implementation Errors, Proceedings of the IFIP TC6/WG6.1 Twelfth International Symposium on Protocol Specication, Testing and Verication, p.229243, 1992.

P. Raymond, X. Nicollin, N. Halbwachs, and D. Waber, Automatic testing of reactive systems, Proceedings of RTSS'98, 1998.

M. Soos, K. Nohl, and C. Castelluccia, Extending SAT Solvers to Cryptographic Problems, p.244257, 2009.

J. Tretmans, Test generation with inputs, outputs, and repetitive quiescence. Software-Concepts and Tools, vol.17, p.103120, 1996.

A. Tvardovskii, K. El-fakih, and N. Yevtushenko, Deriving tests with guaranteed fault coverage for nite state machines with timeouts, Proceedings of ICTSS, vol.11146, p.149154, 2018.

J. J. Vega, G. Perrouin, M. Amrani, and P. Schobbens, Model-based mutation operators for timed systems: A taxonomy and research agenda, Proceedings of QRS, p.325332, 2018.

M. Zhigulin, N. Yevtushenko, S. Maag, and A. R. Cavalli, FSM-Based Test Derivation Strategies for Systems with Time-Outs, Proceedings of QSIC'2011, p.141149, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01303601