. Bibliographie, Scade language reference manual. technical report SC-LRM -SC/70257u3- 5.0.1, Esterel Technologies SA, p.31100

K. Vinod, A. S. Agarwal, and . Fung, Multiple fault testing of large circuits by single fault test sets, IEEE Trans. Computers, issue.11, p.30855865, 1981.

B. Beizer, Software Testing Techniques, 1990.

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

A. Benveniste, G. Berry, P. Caspi, . Ph, F. Couronné et al., Synchronous technology for real-time systems, The 1994 Real-Time Conferences, p.104122, 1994.

G. Berry, The Foundations of Esterel, 2000.

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

B. Blanc, G. Durrieu, A. Lakehal, O. Laurent, B. Marre et al., Automated functional test case generation from data ow specications using structural coverage criteria, 3rd European Congress on Embedded Real Time Software (ERTS2006), 2006.

. Sayward, Theoretical and emperical studies on using program mutation to test the functional correctness of programs, POPL, p.220233, 1980.

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice, Lustre : A declarative language for programming synchronous systems, POPL, p.178188, 1987.
DOI : 10.1145/41625.41641

L. A. Clarke, A. Podgurski, D. J. Richardson, and S. J. Zeil, A formal evaluation of data ow path selection criteria, IEEE Trans. Software Eng, vol.15, issue.11, p.13181332, 1989.

R. A. Demillo, Test Adequacy And Program Mutation, 11th International Conference on Software Engineering, p.355356, 1989.
DOI : 10.1109/ICSE.1989.714449

R. A. Demillo, Progress toward automated software testing, [1991 Proceedings] 13th International Conference on Software Engineering, p.180183, 1991.
DOI : 10.1109/ICSE.1991.130640

L. Bousquet, Test fonctionnel statistique de systémes spécié en Lustre, 1999.

L. Du, B. , and N. Zuanon, An overview of lutess : A specicationbased tool for testing synchronous software, Automated Software Engineering, p.208215, 1999.

W. Joe, S. C. Duran, and . Ntafos, A report on random testing, International Conference on Software Engineering, p.179183, 1981.

G. Phyllis, E. J. Frankl, and . Weyuker, An applicable family of data ow testing criteria, IEEE Trans. Software Eng, vol.14, issue.10, p.14831498, 1988.

B. John, S. L. Goodenough, and . Gerhart, Toward a theory of test data selection, IEEE Trans. Software Eng, vol.1, issue.2, p.156173, 1975.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data ow programming language lustre, Proceedings of the IEEE, p.13051320, 1991.
DOI : 10.1109/5.97300
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5059

N. Halbwachs, F. Lagnier, and C. , Programming and verifying real-time systems by means of the synchronous data-ow language lustre, IEEE Trans

R. G. Hamlet, Theoretical comparison of testing methods, Symposium on Testing, Analysis, and Verication, p.2837, 1989.

D. Harel, Statecharts : A visual formulation for complex systems, Sci. Comput. Program, vol.8, issue.3, p.231274, 1987.

C. A. Hoare, Communicating Sequential Processes, 1985.

J. Ullman and J. Hopcroft, Introduction to Automata Theory, Languages, and Computation, 1979.

S. and R. Kosaraju, Analysis of structured programs, J. Comput. Syst. Sci, vol.9, issue.3, p.232255, 1974.
DOI : 10.1016/s0022-0000(74)80043-7
URL : http://doi.org/10.1016/s0022-0000(74)80043-7

A. Lakehal and F. Ouabdesselam, Ioannis Parissis, and Jérôme Vassy. Models for synchronous software testing, Proceedings of the Sivoes-MoDeVa Workshop : a satellite event of the 15th IEEE International Symposium on Software Reliability Engineering, p.4150, 2004.

A. Lakehal and I. Parissis, Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs, 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05), p.301310, 2005.
DOI : 10.1109/ISSRE.2005.26

A. Lakehal and I. Parissis, Structural test coverage criteria for lustre programs, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05, p.3543, 2005.
DOI : 10.1145/1081180.1081186

A. Lakehal, I. Parissis, and L. Du-bousquet, Critères de couverture structurelle des programmes lustre, Approches Formelles dans l'Assistance au Développement de Logiciels, p.185199, 2004.

J. Laprie, Guide de la Sûreté de Fonctionnement. Cépaduès, p.146, 1995.

W. Janusz, B. Laski, and . Korel, A data ow oriented program testing strategy, IEEE Trans. Software Eng, vol.9, issue.3, p.347354, 1983.

P. , L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming real-time applications with signal, Proceedings of the IEEE, p.13211336, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075114

B. Marre and A. Arnould, Test sequences generation from LUSTRE descriptions: GATEL, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, p.229237, 2000.
DOI : 10.1109/ASE.2000.873667

B. Marre and B. Blanc, Test Selection Strategies for Lustre Descriptions in GATeL, Electronic Notes in Theoretical Computer Science, vol.111, p.93111, 2005.
DOI : 10.1016/j.entcs.2004.12.010

C. Mazuet, Stratégies de Test pour des Programmes Synchrones -Application au Langage Lustre. Thesis, 1994.

T. J. Mccabe, A Complexity Measure, IEEE Transactions on Software Engineering, vol.2, issue.4, p.308320, 1976.
DOI : 10.1109/TSE.1976.233837

R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

T. Brian, J. P. Murray, and . Hayes, Testing ics : Getting to the core of the problem, IEEE Computer, vol.29, issue.11, p.3238, 1996.

J. D. Musa, Operational proles in software-reliability engineering, IEEE Softw, vol.10, issue.2, p.1432, 1993.

G. J. Myers, The Art Of Software Testing, 1979.
DOI : 10.1002/9781119202486

S. C. Ntafos, An evaluation of required element testing strategies, International Conference on Software Engineering, p.250256, 1984.

S. C. Ntafos, A comparison of some structural testing strategies, IEEE Transactions on Software Engineering, vol.14, issue.6, p.868874, 1988.
DOI : 10.1109/32.6165

A. J. Outt, Y. Xiong, and S. Liu, Criteria for generating specication-based tests, ICECCS, p.119, 1999.

F. Ouabdesselam and I. Parissis, Testing synchronous critical software, Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering, 1994.
DOI : 10.1109/ISSRE.1994.341380

M. Amit, K. Paradkar, M. A. Tai, and . Vouk, Specication-based testing using cause-eect graphs, Ann. Software Eng, vol.4, p.133157, 1997.

I. Parissis, Test de logiciels synchrones spéciés en Lustre, 1996.

I. Parissis, Vers une approche mixte de validtion des logiciels synchrones : preuve, test, animation, Approches Formelles dans l'Assistance au Développement de Logiciels, 1997.

I. Parissis and F. Ouabdesselam, Specication-based testing of synchronous software, ACM-SIGSOFT Foundations of Software Engineering, p.127134, 1996.

D. Parnas, J. Van-schouwen, and S. Kwan, Evaluation of safety-critical software, Communications of the ACM, vol.33, issue.6, p.636648, 1990.
DOI : 10.1145/78973.78974

D. Pilaud and N. Halbwachs, From a synchronous declarative language to a temporal logic dealing with multiform time, FTRTFT, p.99110, 1988.
DOI : 10.1007/3-540-50302-1_5

S. Rapps and E. J. Weyuker, Selecting software test data using data ow information, IEEE Trans. Software Eng, vol.11, issue.4, p.367375, 1985.

P. Raymond, X. Nicollin, N. Halbwachs, and D. Weber, Automatic testing of reactive systems, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), 1998.
DOI : 10.1109/REAL.1998.739746

K. Tai, Predicate-based test generation for computer programs, Proceedings of 1993 15th International Conference on Software Engineering, p.267276, 1993.
DOI : 10.1109/ICSE.1993.346037

P. Thévenod-fosse, C. Mazuet, and Y. Crouzet, On statistical structural testing of synchronous data ow programs, EDCC, p.250267, 1994.

J. Tretmans, A formal approach to conformance testing, Protocol Test Systems, p.257276, 1993.

J. Tretmans, P. Kars, and E. Brinksma, Protocol conformance testing : A formal perspective on iso is-9646, Protocol Test Systems, p.131142, 1991.

J. Vassy, Génération automatique de cas de test guidée par les propriétés de sûreté, 2004.

A. Sergiy, J. P. Vilkomir, and . Bowen, Formalization of software testing criteria using the z notation, In COMPSAC, p.351356, 2001.

A. Sergiy, J. P. Vilkomir, and . Bowen, Reinforced condition/decision coverage (rc/dc) : A new criterion for software testing, ZB, p.291308, 2002.

E. J. Weyuker, Translatability and Decidability Questions for Restricted Classes of Program Schemas, SIAM Journal on Computing, vol.8, issue.4, p.587598, 1979.
DOI : 10.1137/0208047

L. White and E. Cohen, A Domain Strategy for Computer Program Testing, IEEE Transactions on Software Engineering, vol.6, issue.3, p.247257, 1980.
DOI : 10.1109/TSE.1980.234486

M. R. Woodward, D. Hedley, and M. A. Hennell, Experience with Path Analysis and Testing of Programs, IEEE Transactions on Software Engineering, vol.6, issue.3, pp.278-286, 1980.
DOI : 10.1109/TSE.1980.230473

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

N. Zuanon, Une méthode de test pour la validation de services de télécommunication, 2000.