T. Ball, A Theory of Predicate-Complete Test Coverage and Generation, FMCO 2004, pp.2-5, 2005.
DOI : 10.1007/11561163_1

A. Belinfante, J. Feenstra, R. G. De-vries, J. Tretmans, N. Goga et al., Formal Test Automation: A Simple Experiment, th Int. Workshop on Testing of Communicating Systems, p.12, 1999.
DOI : 10.1007/978-0-387-35567-2_12

M. Benjamin, D. Geist, A. Hartman, G. Mas, R. Smeets et al., A study in coverage-driven test generation, Proceedings of the 36th ACM/IEEE Conference on Design Automation (DAC'99), 1999.

J. Blom, A. Hessel, B. Jonsson, and P. Pettersson, Specifying and Generating Test Cases Using Observer Automata, FATES 2004, pp.137-152, 2005.
DOI : 10.1007/3-540-40911-4_20

R. S. Boyer, B. Elspas, and K. N. Levitt, SELECT: a formal system for testing and debugging programs by symbolic execution, Proceedings of the International Conference on Reliable Software, pp.234-245, 1975.

J. R. Calamé, N. Ioustinova, J. Van-de-pol, and N. Sidorova, Data abstraction and constraint solving for conformance testing, 12th Asia-Pacific Software Engineering Conference (APSEC'05), pp.541-548, 2005.
DOI : 10.1109/APSEC.2005.57

D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva, STG: A Symbolic Test Generation Tool, ETAPS 2002 and TACAS 2002, pp.470-475, 2002.
DOI : 10.1007/3-540-46002-0_34

P. Cousot and R. Cousot, Abstract intrepretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, th ACM Symposium on Principles of Programming Languages (POPL'77), pp.238-252, 1977.

L. Frantzen, J. Tretmans, and T. Willemse, Test Generation Based on Symbolic Specifications, FATES 2004, 2005.
DOI : 10.1007/3-540-40911-4_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.6550

C. Gaston, L. Gall, P. Rapin, N. Touil, and A. , Symbolic Execution Techniques for Test Purpose Definition, TestCom 2006, 2006.
DOI : 10.1007/11754008_1
URL : https://hal.archives-ouvertes.fr/hal-00342082

P. Godefroid, N. Klarlund, and K. Sen, Dart: directed automated random testing, PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming Language Design and Implementation, pp.213-223, 2005.

E. Gunter and D. Peled, Model checking, testing and verification working together, Formal Aspects of Computing, vol.17, issue.2, pp.201-221, 2005.
DOI : 10.1007/s00165-005-0059-8

W. E. Howden, Theoretical and Empirical Studies of Program Testing, Proceedings of the 3rd international conference on Software engineering (ICSE '78), pp.305-311, 1978.
DOI : 10.1109/TSE.1978.231514

C. Jard and T. Jéron, TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, 2004.
DOI : 10.1007/s10009-004-0153-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4262

B. Jeannet, Dynamic partitioning in linear relation analysis, Formal Methods in System Design, vol.23, issue.1, pp.5-37, 2003.
DOI : 10.1023/A:1024480913162

B. Jeannet, T. Jéron, V. Rusu, and E. Zinovieva, Symbolic Test Selection Based on Approximate Analysis, TACAS 2005, 2005.
DOI : 10.1007/978-3-540-31980-1_23
URL : https://hal.archives-ouvertes.fr/inria-00564617

T. Jéron, H. Marchand, and V. Rusu, Symbolic Determinisation of Extended Automata, 4th IFIP International Conference on Theoretical Computer Science, 2006.
DOI : 10.1007/978-0-387-34735-6_18

D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, 1996.
DOI : 10.1109/5.533956

B. Legeard, F. Peureux, and M. Utting, Automated Boundary Testing from Z and B, FME 2002, 2002.
DOI : 10.1007/3-540-45614-7_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.9463

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., 2002.
DOI : 10.1109/ISSRE.2002.1173206

D. Lugato, C. Bigot, and Y. Valot, Validation and automatic test generation on UML models: the AGATHA approach, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, 2002.
DOI : 10.1007/s100090050009

N. Lynch and M. Tuttle, Introduction to IO automata, CWI Quarterly, vol.3, issue.2, 1999.

B. Marre and A. Arnould, Test sequences generation from LUSTRE descriptions: GA- TEL, 15th IEEE International Conference on Automated Software Engineering (ASE'00, p.229, 2000.
DOI : 10.1109/ase.2000.873667

A. Petrenko, S. Boroday, and R. Groz, Conforming configurations in EFSM testing, IEEE Transactions on Software Engineering, vol.30, issue.1, 2004.

V. Rusu, L. Du-bousquet, and T. Jéron, An Approach to Symbolic Test Generation, IFM 2000, pp.338-357, 2000.
DOI : 10.1007/3-540-40911-4_20

V. Rusu, H. Marchand, and T. Jéron, Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems, FM 2005, 2005.
DOI : 10.1007/11526841_14
URL : https://hal.archives-ouvertes.fr/inria-00483945

J. Tretmans, Test generation with inputs, outputs and repetitive quiescence, Software?Concepts and Tools, vol.17, issue.3, pp.103-120, 1996.
DOI : 10.1007/3-540-61042-1_42
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9528

J. Tretmans, Model Based Testing with Labelled Transition Systems, FMCO 2006, 2006.
DOI : 10.1007/978-3-540-78917-8_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.621