E. Brinskma, A. Alderen, R. Langerak, J. Van-de-laagemat, and J. Tretmans, A Formal Approach to Conformance Testing, Proc

J. Tretmans, Test Generation with Inputs, Outputs, and Repetitive Quiescence, Software?Concepts and Tools, 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

A. Gargantini and C. L. Heitmeyer, Using Model Checking to Generate Tests from Requirements Specifications, Proc. European Software Eng. Conf. and ACM SIGSOFT Symp. Foundations of Software Eng. (ESEC/FSE '99), pp.146-162, 1999.
DOI : 10.1007/3-540-48166-4_10

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

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

J. Blom, A. Hessel, B. Jonsson, and P. Pettersson, Specifying and Generating Test Cases Using Observer Automata, Proc. Workshop Formal Approaches to Software Testing, 2004.
DOI : 10.1007/3-540-40911-4_20

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

H. S. Hong, I. Lee, O. Sokolsky, and H. Ural, A Temporal Logic Based Theory of Test Coverage and Generation, Proc. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS '02), pp.327-341, 2002.
DOI : 10.1007/3-540-46002-0_23

O. Kupferman and M. Y. Vardi, Model Checking of Safety Properties, Formal Methods in System Design, pp.291-314, 2001.
DOI : 10.1007/3-540-48683-6_17

E. Brinskma, A Theory for the Derivation of Tests, Proc. Conf. Protocol Specification, Testing, and Verification (PSTV '88), pp.63-74, 1988.

P. Ammann, W. Ding, and D. Xu, Using a model checker to test safety properties, Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems, 2001.
DOI : 10.1109/ICECCS.2001.930180

G. Hamon, L. De-moura, and J. Rushby, Generating efficient test sets with a model checker, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., pp.261-270, 2004.
DOI : 10.1109/SEFM.2004.1347530

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

H. Hong, I. Lee, O. Sokolsky, and H. Ural, A Temporal Logic Based Theory of Test Coverage and Generation, Proc. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS '02), pp.327-341, 2002.
DOI : 10.1007/3-540-46002-0_23

D. Peled, M. Vardi, and M. Yannakakis, Black Box Checking, J. Automata, Languages, and Combinatorics, vol.7, issue.2, pp.225-246, 2001.
DOI : 10.1007/978-0-387-35578-8_13

J. C. Fernandez, L. Mounier, and C. Pachon, Property Oriented Test Case Generation, Proc. Formal Aspects of Software Testing Workshop, 2003.
DOI : 10.1007/978-3-540-24617-6_11

R. De-vries and J. Tretmans, Towards Formal Test Purposes, Formal Approaches to Testing of Software (FATES '01), pp.61-76, 2001.

A. Belinfante, J. Feenstra, R. De-vries, J. Tretmans, N. Goga et al., Formal Test Automation: A Simple Experiment, Proc. Int'l Workshop Testing of Comm. Systems (IWTCS '99), pp.179-196, 1996.
DOI : 10.1007/978-0-387-35567-2_12

K. Havelund and G. Rosu, Synthesizing Monitors for Safety Properties, Proc. Int'l Conf. Tools and Algorithms for Construction and Analysis of Systems (TACAS '02), pp.342-356, 2002.
DOI : 10.1007/3-540-46002-0_24

M. Bozga, J. Fernandez, L. Ghirvu, C. Jard, T. Jéron et al., Verification and test generation for the SSCOP protocol, Science of Computer Programming, vol.36, issue.1, pp.27-52, 2000.
DOI : 10.1016/S0167-6423(99)00017-9

V. Rusu, H. Marchand, V. Tschaen, T. Jéron, and B. Jeannet, From Safety Verifcation to Safety Testing, Proc. Int'l Conf. Testing Comm. Systems (TestCom), 2004.

V. Rusu, H. Marchand, and T. Jéron, Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems, Proc. Symp. Formal Methods Europe (FM), 2005.
DOI : 10.1007/11526841_14

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

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

B. Jeannet, T. Jéron, V. Rusu, and E. Zinovieva, Symbolic Test Selection Based on Approximate Analysis, Proc. 11th Int'l Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS '05), 2005.
DOI : 10.1007/978-3-540-31980-1_23

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

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973

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

L. Helmink, M. P. Sellink, and F. Vaandrager, Proof-checking a data link protocol, Proc. Conf. Types for Proofs and Programs (TYPES '94), pp.127-165, 1994.
DOI : 10.1007/3-540-58085-9_75

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

R. E. Shostak, A Practical Decision Procedure for Arithmetic with Function Symbols, Journal of the ACM, vol.26, issue.2, pp.351-360, 1979.
DOI : 10.1145/322123.322137

J. Tretmans, Testing Concurrent Systems: A Formal Approach, Proc. Conf. Conccurrency Theory (CONCUR '99, pp.46-65, 1999.
DOI : 10.1007/3-540-48320-9_6

T. Jéron, H. Marchand, and V. Rusu, Symbolic Determinisation of Extended Automata, Proc. Fourth IFIP Int'l Conf. Theoretical Computer Science, 2006.
DOI : 10.1007/978-0-387-34735-6_18

E. Zinovieva, Symbolic Test Generation for Reactive Systems, Univ. of Rennes I, 2004.
URL : https://hal.archives-ouvertes.fr/tel-00142441

E. M. Clarke, O. Grumberg, and D. A. , Peled, Model Checking, 1999.

D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva, STG: A Symbolic Test Generation Tool, Proc. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS '02, pp.470-475, 2002.
DOI : 10.1007/3-540-46002-0_34

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