J. Tretmans, Testing Concurrent Systems: A Formal Approach, CONCUR'99: Proc. of the 10th Int. Conf. on Concurrency Theory, pp.46-65, 1999.
DOI : 10.1007/3-540-48320-9_6

A. Hessel, K. G. Larsen, B. Nielsen, P. Pettersson, and A. Skou, Time-Optimal Real-Time Test Case Generation Using Uppaal, FATES'03, ser, pp.114-130, 2004.
DOI : 10.1007/978-3-540-24617-6_9

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Larsen, M. Mikucionis, and B. Nielsen, Online Testing of Real-time Systems Using Uppaal, FATES'04, ser. LNCS, pp.79-94, 2005.
DOI : 10.1007/s100090050044

M. Krichen and S. Tripakis, Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, pp.238-304, 2009.
DOI : 10.1007/s10703-009-0065-1

S. Li, J. Wang, W. Dong, and Z. Qi, Property-oriented testing of real-time systems, APSEC'04: Proc. of the 11th Asia-Pacific Software Engineering Conference, pp.358-365, 2004.

N. Bertrand, T. Jéron, A. Stainer, and M. Krichen, Off-line test selection with test purposes for non-deterministic timed automata, TACAS 2011, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00550923

A. En-nouaary, R. Dssouli, and F. Khendek, Timed Wp-method: testing real-time systems, IEEE Transactions on Software Engineering, vol.28, issue.11, pp.1023-1038, 2002.
DOI : 10.1109/TSE.2002.1049402

M. Merayo, M. Núñez, and I. Rodríguez, Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs, IEEE Transactions on Computers, vol.57, issue.6, pp.835-844, 2008.
DOI : 10.1109/TC.2008.15

V. Rusu, L. Bousquet, and T. Jéron, An Approach to Symbolic Test Generation, IFM'00: Proc. of the Second Int. Conf. on Integrated Formal Methods, pp.338-357, 2000.
DOI : 10.1007/3-540-40911-4_20

G. Lestiennes and M. Gaudel, Testing processes from formal specifications with inputs, outputs and data types, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings., p.3, 2002.
DOI : 10.1109/ISSRE.2002.1173206

]. B. Jeannet, T. Jéron, V. Rusu, and E. Zinovieva, Symbolic Test Selection Based on Approximate Analysis, TACAS'05, ser. LNCS, pp.349-364, 2005.
DOI : 10.1007/978-3-540-31980-1_23

URL : https://hal.archives-ouvertes.fr/inria-00564617

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

R. Oliver, Conformance Tests for Real-Time Systems with Timed Automata Specifications, Formal Aspects of Computing, vol.12, issue.5, pp.350-371, 2000.
DOI : 10.1007/s001650070009

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

A. Khoumsi, Complete Test Graph Synthesis For Symbolic Real-time Systems, Electronic Notes in Theoretical Computer Science, vol.130, pp.79-100, 2005.
DOI : 10.1016/j.entcs.2005.03.006

W. L. Andrade, P. D. Machado, E. L. Alves, and D. R. Almeida, Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS, Formal Methods: Foundations and Applications, ser. LNCS, pp.54-69, 2009.
DOI : 10.1007/978-3-642-10452-7_5

A. Q. Macedo, W. L. Andrade, D. R. Almeida, and P. D. Machado, Automating test case execution for real-time embedded systems, ICTSS'10, pp.37-42, 2010.

O. N. Timo, H. Marchand, and A. Rollet, Automatic test generation for data-flow reactive systems with time constraints, ICTSS'10, pp.25-30, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00530584

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

S. Bornot, J. Sifakis, and S. Tripakis, Modeling urgency in timed systems, " in Compositionality: The Significant Difference , ser, LNCS, vol.1536, pp.264-279, 1998.

T. Jéron, H. Marchand, and V. Rusu, Symbolic Determinisation of Extended Automata, Proc. of the 4th IFIP Int. Conf. on Theor. Comput. Sci., ser. IFIP, pp.197-212, 2006.
DOI : 10.1007/978-0-387-34735-6_18

J. C. King, A new approach to program testing, Proc. of the Int. Conf. on Reliable software, pp.228-233, 1975.

L. A. Clarke, A System to Generate Test Data and Symbolically Execute Programs, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.215-222, 1976.
DOI : 10.1109/TSE.1976.233817

C. Gaston, P. L. Gall, N. Rapin, and A. Touil, Symbolic Execution Techniques for Test Purpose Definition, Testing of Communicating Systems, ser. LNCS, pp.1-18, 2006.
DOI : 10.1007/11754008_1

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

E. Jöbstl, M. Weiglhofer, B. K. Aichernig, and F. Wotawa, When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving, 2010 Third International Conference on Software Testing, Verification and Validation, pp.479-488, 2010.
DOI : 10.1109/ICST.2010.48

C. Jard and T. Jéron, TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005.
DOI : 10.1007/s10009-004-0153-x

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=