S. Anand, E. K. Burke, T. Y. Chen, J. Clark, M. B. Cohen et al., An orchestrated survey of methodologies for automated software test case generation, Journal of Systems and Software, vol.86, issue.8, pp.86-1978, 2013.
DOI : 10.1016/j.jss.2013.02.061

B. Bannour, J. P. Escobedo, C. Gaston, and P. L. Gall, Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing, Testing Software and Systems -24th IFIP WG 6.1 International Conference, pp.119-135, 2012.
DOI : 10.1007/978-3-642-34691-0_10

URL : https://hal.archives-ouvertes.fr/hal-01482398

B. Bannour, C. Gaston, and D. Servat, Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing, 2011 18th Asia-Pacific Software Engineering Conference, pp.219-226, 2011.
DOI : 10.1109/APSEC.2011.40

C. Barrett, C. L. Conway, M. Deters, L. Hadarean, D. Jovanovic et al., Computer Aided Verification -23rd International Conference, CAV 2011, pp.171-177, 2011.

A. R. Cavalli, D. Lee, C. Rinderknecht, and F. Za¨?diza¨?di, Hit-or-jump: An algorithm for embedded testing with applications to IN services, in: Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), pp.41-56, 1999.

C. List and . Diversity,

C. List and . Papyrus,

L. M. De-moura and N. Bjørner, Z3: an efficient SMT solver, in: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, pp.337-340, 2008.

B. Dutertre and L. M. De-moura, A Fast Linear-Arithmetic Solver for DPLL(T), Computer Aided Verification, 18th International Conference, pp.81-94, 2006.
DOI : 10.1007/11817963_11

URL : https://link.springer.com/content/pdf/10.1007%2F11817963_11.pdf

L. Frantzen, J. Tretmans, and T. A. Willemse, A Symbolic Framework for Model-Based Testing, pp.40-54, 2006.
DOI : 10.1007/11940197_3

URL : http://www.cs.ru.nl/~lf/publications/FTW06.pdf

C. Gaston, P. L. Gall, N. Rapin, and A. Touil, Symbolic Execution Techniques for Test Purpose Definition, Proc. of Int. Conf. Testing of Software and Communicating Systems (TestCom), pp.1-18, 2006.
DOI : 10.1007/11754008_1

URL : https://hal.archives-ouvertes.fr/hal-00342082

O. M. Group, A UML profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, VSL, 2009.

O. M. Group, Unified modeling language (uml) (2012)

T. Jéron, Symbolic Model-based Test Selection, Electronic Notes in Theoretical Computer Science, vol.240, pp.167-184, 2009.
DOI : 10.1016/j.entcs.2009.05.051

J. C. King, A new approach to program testing, Proceedings of the international conference on Reliable software, pp.228-233, 1975.
DOI : 10.1007/3-540-07131-8_30

A. Valmari, Stubborn sets for reduced state space generation, Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets, pp.491-515, 1990.
DOI : 10.1007/3-540-53863-1_36