A. A. Mise, . Pratique, . La, and . Fig, A.7 ? Rédaction d'une fonction principale chargée d'instancier et d'exécuter le test Table des figures 1.1 Capteurs et actionneurs d'un système hybride contrôlant un flux d

.. Esposito, Deux jeux de test présentant une couverture de 0, p.35

. Ex, d'automate spécifiant la consommation d'un robot collecteur d'échantillons, p.43

P. Bibliographie, B. Abdulla, A. Jonsson, M. Rezine, and . Saksena, Proving liveness by backwards reachability, CONCUR 2006 ? Concurrency Theory, pp.12-1990, 1990.

S. Abras, S. Pesty, S. Ploix, and M. Jacomino, Advantages of MAS for the Resolution of a Power Management Problem in Smart Homes, PAAMS, volume 70 of Advances in Soft Computing, pp.269-278, 2010.
DOI : 10.1007/978-3-642-12384-9_32
URL : https://hal.archives-ouvertes.fr/hal-00637197

F. B. Bowen-alpern and . Schneider, Recognizing safety and liveness, Distributed Computing, pp.117-126, 1987.

R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

R. Alur, T. Dang, and F. Ivan?i´ivan?i´c, Counterexample-guided predicate abstraction of hybrid systems, Theoretical Computer Science, vol.354, issue.2, pp.250-271, 2006.
DOI : 10.1016/j.tcs.2005.11.026

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

P. Ammann and J. Offutt, Introduction to software testing, 2008.
DOI : 10.1017/CBO9780511809163

Y. Annpureddy, C. Liu, G. Fainekos, and S. Sankaranarayanan, S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems, Tools and Algorithms for the Construction and Analysis of Systems, pp.254-257, 2011.
DOI : 10.1007/978-3-540-88562-7_19

S. Arya, D. M. Mount, N. S. Netanyahu, R. Silverman, and A. Y. Wu, An optimal algorithm for approximate nearest neighbor searching fixed dimensions, Journal of the ACM, vol.45, issue.6, pp.891-923, 1998.
DOI : 10.1145/293347.293348

E. Asarin, T. Dang, G. Frehse, and A. Girard, Colas Le Guernic, and Oded Maler. Recent progress in continuous and hybrid reachability analysis, IEEE Symposium on Computer- Aided Control Systems Design, Proceedings, pp.1582-1587, 2006.

E. Asarin, T. Dang, and A. Girard, Hybridization methods for the analysis of nonlinear systems, Acta Informatica, vol.12, issue.2, pp.451-476, 1007.
DOI : 10.1007/s00236-006-0035-7
URL : https://hal.archives-ouvertes.fr/hal-00157475

E. Asarin, T. Dang, and O. Maler, The d/dt tool for verification of hybrid systems, Computer Aided Verification, pp.746-770, 2002.

A. Baresel, H. Pohlheim, S. Sadeghipour, J. A. Foster, K. Deb et al., Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms, GECCO, volume 2724 of Lecture Notes in Computer Science, pp.2428-2441, 2003.
DOI : 10.1007/3-540-45110-2_147

G. Behrmann, A. David, and K. Larsen, A Tutorial on Uppaal, SFM, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

F. Tsong-yueh-chen, R. G. Kuo, T. H. Merkel, and . Tse, Adaptive Random Testing: The ART of test case diversity, Journal of Systems and Software, vol.83, issue.1, pp.60-66, 2010.
DOI : 10.1016/j.jss.2009.02.022

E. Clarke, Model checking, Lecture Notes in Computer Science, vol.1346, pp.54-56, 1997.
DOI : 10.1007/BFb0058022

E. Clarke, O. Grumberg, and K. Hamaguchi, Another look at LTL model checking, Computer Aided Verification, pp.415-427, 1994.
DOI : 10.1007/3-540-58179-0_72

T. Dang and T. Nahhal, Using Disparity to Enhance Test Generation for Hybrid Systems, In TestCom/FATES Lecture Notes in Computer Science, vol.32, issue.3, pp.54-69, 2008.
DOI : 10.1016/S0895-7177(00)00178-3

D. P. Pieter-tjerk-de-boer, S. Kroese, R. Y. Mannor, and . Rubinstein, A Tutorial on the Cross-Entropy Method, Annals of Operations Research, vol.16, issue.3, pp.19-67, 2005.
DOI : 10.1007/s10479-005-5724-z

L. Du-bousquet, F. Ouabdesselam, and J. Richier, Expressing and implementing operational profiles for reactive software validation, Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257), pp.222-230, 1998.
DOI : 10.1109/ISSRE.1998.730885

C. Escoffier, J. Bardin, J. Bourcier, and P. Lalanda, Developing User-Centric Applications with H-Omega, MOBIL- WARE Workshops, pp.118-123, 2009.
DOI : 10.1007/978-3-540-77351-1_9
URL : https://hal.archives-ouvertes.fr/hal-00941792

J. M. Esposito, J. Kim, and V. Kumar, Adaptive RRTs for Validating Hybrid Robotic Control Systems, Algorithmic Foundations of Robotics VI, pp.107-121, 2005.
DOI : 10.1007/10991541_9

A. David and . Ferrucci, Build watson : an overview of deepqa for the jeopardy ! challenge, PACT, pp.1-2, 2010.

G. Frehse and . Phaver, PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech, Hybrid Systems : Computation and Control, pp.258-273, 2005.
DOI : 10.1007/978-3-540-31954-2_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.363

A. Girard and C. L. Guernic, Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis, Lecture Notes in Computer Science, vol.4981, pp.215-228, 2008.
DOI : 10.1007/978-3-540-78929-1_16
URL : https://hal.archives-ouvertes.fr/hal-00306993

A. Girard and G. J. Pappas, Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007.
DOI : 10.1109/TAC.2007.895849
URL : https://hal.archives-ouvertes.fr/hal-00171714

S. Graf and H. Saidi, Construction of abstract state graphs with PVS, Computer Aided Verification, pp.72-83, 1997.
DOI : 10.1007/3-540-63166-6_10

J. Hänsel, D. Rose, P. Herber, and S. Glesner, An evolutionary algorithm for the generation of timed test traces for embedded real-time systems, Software Testing, Verification and Validation (ICST), 2011 IEEE Fourth International Conference on, pp.170-179, 2011.

H. Hemmati, A. Arcuri, and L. C. Briand, Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, pp.327-336, 2011.
DOI : 10.1109/ICST.2011.12

A. Thomas and . Henzinger, The theory of hybrid automata, LICS, pp.278-292, 1996.

T. A. Henzinger, P. Ho, and H. Wong-toi, HyTech: A model checker for hybrid systems, Lecture Notes in Computer Science, vol.1254, pp.460-463, 1997.
DOI : 10.1007/3-540-63166-6_48

T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya, What's Decidable about Hybrid Automata?, Journal of Computer and System Sciences, vol.57, issue.1, pp.94-124, 1998.
DOI : 10.1006/jcss.1998.1581

M. Iqbal, A. Arcuri, and L. Briand, Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies, Model Driven Engineering Languages and Systems, pp.286-300, 2010.
DOI : 10.1007/978-3-642-16145-2_20

A. Julius, G. E. Fainekos, M. Anand, I. Lee, and G. J. Pappas, Robust Test Generation and Coverage for Hybrid Systems, Hybrid Systems : Computation and Control, pp.329-342, 2007.
DOI : 10.1007/978-3-540-71493-4_27

M. Steven, J. J. Lavalle, and . Kuffner-jr, Randomized kinodynamic planning. I, J. Robotic Res, vol.20, issue.5, pp.378-400, 2001.

M. D. Lemmon, J. A. Stiver, and P. J. Antsaklis, Event identification and intelligent hybrid control, pp.268-296
DOI : 10.1007/3-540-57318-6_33

N. Lynch, R. Segala, and F. Vaandrager, Hybrid I/O automata, Information and Computation, vol.185, issue.1, pp.105-157, 2003.
DOI : 10.1016/S0890-5401(03)00067-1

K. Yashwant and . Malaiya, Antirandom testing : getting the most out of black-box testing, Software Reliability Engineering Proceedings., Sixth International Symposium on, pp.86-95, 1995.

Z. Manna and A. Pnueli, A hierarchy of temporal properties, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, pp.377-410, 1989.
DOI : 10.1145/41840.41857

Z. Manna and A. Pnueli, Verifying hybrid systems, pp.4-35
DOI : 10.1007/3-540-57318-6_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.6190

A. P. Mathur, Foundations of Software Testing, 2008.

P. Mcminn, Search-based software test data generation : a survey Software Testing, Verification and Reliability, pp.105-156, 2004.

J. D. Musa, Operational profiles in software-reliability engineering, IEEE Software, vol.10, issue.2, pp.14-32, 1993.
DOI : 10.1109/52.199724

J. Glenford and . Myers, The Art of Software Testing, p.9780471043287, 1979.

M. Najafi and R. Nikoukhah, Implementation of Hybrid Automata in Scicos, 2007 IEEE International Conference on Control Applications, pp.819-824, 2007.
DOI : 10.1109/CCA.2007.4389334

M. Nakamura, Y. Fukuoka, H. Igaki, and K. Matsumoto, Implementing Multi-Vendor Home Network System with Vendor-Neutral Services and Dynamic Service Binding, 2008 IEEE International Conference on Services Computing, pp.275-282, 2008.
DOI : 10.1109/SCC.2008.148

J. Offutt, S. Liu, A. Abdurazik, and P. Ammann, Generating test data from statebased specifications. Software Testing, Verification and Reliability, pp.25-53, 2003.
DOI : 10.1002/stvr.264
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.9560

E. Plaku, L. Kavraki, and M. Vardi, Hybrid systems : from verification to falsification by combining motion planning and discrete search. Formal Methods in System Design, pp.157-182, 2009.

S. Sankaranarayanan and G. Fainekos, Falsification of temporal properties of hybrid systems using the cross-entropy method, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.125-134
DOI : 10.1145/2185632.2185653

P. Schrammel and B. Jeannet, From hybrid data-flow languages to hybrid automata, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.167-176, 2012.
DOI : 10.1145/2185632.2185658
URL : https://hal.archives-ouvertes.fr/hal-00659698

B. Seljimi and I. Parissis, Automatic generation of test data generators for synchronous programs, Workshop on Domain specific approaches to software test automation in conjunction with the 6th ESEC/FSE joint meeting, DOSTA '07, pp.8-12, 2007.
DOI : 10.1145/1294921.1294923

B. Izaias, B. H. Silva, and . Krogh, Formal verification of hybrid systems using checkmate : a case study, American Control Conference Proceedings of the, pp.1679-1683, 2000.

L. Tan, J. Kim, O. Sokolsky, and I. Lee, Model-based testing and monitoring for hybrid embedded systems, Information Reuse and Integration Proceedings of the 2004 IEEE International Conference on, pp.487-492, 2004.

E. Thiémard, An Algorithm to Compute Bounds for the Star Discrepancy, Journal of Complexity, vol.17, issue.4, pp.850-880, 2001.
DOI : 10.1006/jcom.2001.0600

C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi, Computational techniques for the verification of hybrid systems, Proceedings of the IEEE, vol.91, issue.7, pp.986-1001, 2003.
DOI : 10.1109/JPROC.2003.814621

J. Tretmans, Model Based Testing with Labelled Transition Systems, Lecture Notes in Computer Science, vol.4949, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1

. Michiel-van-osch, Hybrid Input-Output Conformance and Test Generation, Lecture Notes in Computer Science, vol.4262, pp.70-84, 2006.
DOI : 10.1007/11940197_5

J. Elaine and . Weyuker, Axiomatizing software test data adequacy, IEEE Trans. Softw. Eng, vol.12, issue.12, pp.1128-1138, 1986.

H. Zhu, P. A. Hall, and J. H. May, Software unit test coverage and adequacy, ACM Computing Surveys, vol.29, issue.4, pp.366-427, 1997.
DOI : 10.1145/267580.267590
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.7961