J. Abrial, E. Börger, and H. Langmaar, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, 1996.
DOI : 10.1007/BFb0027227

P. E. Ammann, P. E. Black, and W. Majurski, Using model checking to generate tests from specifications, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241), pp.46-54, 1998.
DOI : 10.1109/ICFEM.1998.730569

J. R. Abrial, The B-Book ? Assigning Programs to Meanings, 1996.

T. Anderson and P. A. Lee, Fault Tolerance: Principles and Practice, 1981.

A. Avizienis, J. Laprie, B. Randell, and C. E. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

P. Ammann and J. Offutt, Introduction to Software Testing, 2008.
DOI : 10.1017/CBO9780511809163

A. Arcuri, Theoretical Analysis of Local Search in Software Testing, Proc. Symp. on Stochastic Algorithms, Foundations and Applications (SAGA), pp.156-168, 2009.
DOI : 10.1007/s11633-007-0281-3

O. Abdellatif-kaddour, P. Thevenod-fosse, and H. Waeselynck, Property-oriented testing, Proceedings of the 2003 ACM symposium on Applied computing , SAC '03, pp.1128-1134, 2003.
DOI : 10.1145/952532.952752

A. Abdellatif-kaddour, O. Thevenod-fosse, P. Waeselynck, and H. , An Empirical Investigation of, 2003.

A. Avritzer, E. J. Weyuker, P. Anbalagan, and T. Xie, The automatic generation of load test suites and the assessment of the resulting software, Proc. 2nd Workshop on Testing Aspect-Oriented Programs, pp.705-716, 1995.
DOI : 10.1109/32.464549

P. Anbalagan and T. Xie, Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs, 2008 19th International Symposium on Software Reliability Engineering (ISSRE), pp.239-248, 2008.
DOI : 10.1109/ISSRE.2008.58

E. Angel, Z. , and V. , Autocorrelation coefficient for the graph bipartitioning problem, Theoretical Computer Science, vol.191, issue.1-2, pp.229-243, 1998.
DOI : 10.1016/S0304-3975(97)00176-X

E. Angel, Z. , and V. , On the classification of NP-complete problems in terms of their correlation coefficient, Discrete Applied Mathematics, vol.99, issue.1-3, pp.1-3, 2000.
DOI : 10.1016/S0166-218X(99)00138-9

V. Agrawal, Essentials of Electronic Testing for Digital, Memory, and Mixed-Signal VLSI Circuits, 2000.

J. S. Baekken and R. T. Alexander, A Candidate Fault Model for AspectJ Pointcuts, 2006 17th International Symposium on Software Reliability Engineering, pp.169-178, 2006.
DOI : 10.1109/ISSRE.2006.6

P. T. Breuer and J. P. Bowen, Towards Correct Executable Semantics for Z, Proc. 8 th Z User Workshop, pp.185-209, 1994.
DOI : 10.1007/978-1-4471-3452-7_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.7135

P. Behm, P. Benoît, A. Faivre, and J. Meynadier, M??t??or: A Successful Application of B in a Large Project, Proc. World Congress on Formal Methods (FM'99), pp.369-387, 1999.
DOI : 10.1007/3-540-48119-2_22

S. Barbey, D. Buchs, and C. Péraire, Modelling the Production Cell Case Study Using the Fusion Method, 1998.

S. Burton, J. Clark, and J. Mcdermid, Testing, Proof and Automation ? An Integrated Approach, Proc. 1st Int. Workshop on Automated Program Analysis, 2000.

H. Bunke, P. J. Dickinson, M. Kraetzl, and W. D. Wallis, A Graph-Theoretic Approach to Enterprise Network Dynamics, Series: Progress in Computer Science and Applied Logic (PCS) Birkhäuser. Voir le chapitre 8 : Matching Sequences of Graphs, pp.131-143, 2007.

P. Behm, P. Desforges, and F. Mejia, Application de la méthode B dans l'industrie ferroviaire, Application des techniques formelles au logiciel, pp.59-87, 1997.

S. Behnia, Test de modèles formels en B : cadre théorique et critères de couverture, 2000.

L. Briand, J. Feng, and Y. Labiche, Using genetic algorithms and coupling measures to devise optimal integration test orders, Proceedings of the 14th international conference on Software engineering and knowledge engineering , SEKE '02, pp.43-50, 2002.
DOI : 10.1145/568760.568769

A. Belinfante, L. Frantzen, and C. Schallhart, Tools for Test Case Generation. Model-Based Testing of Reactive Systems, LNCS, vol.3472, pp.391-438, 2005.

K. Bhargavan, C. A. Gunter, M. Kim, I. Lee, D. Obradovic et al., Verisim: formal analysis of network simulations, IEEE Transactions on Software Engineering, vol.28, issue.2, pp.129-145, 2002.
DOI : 10.1109/32.988495

R. V. Binder, Object-oriented software testing, Communications of the ACM, vol.37, issue.9, pp.125-252, 1996.
DOI : 10.1145/182987.182988

D. De-bruin, J. Kroon, R. Van-klaveren, and M. Nelisse, Design and test of a cooperative adaptive cruise control system, IEEE Intelligent Vehicles Symposium, 2004, pp.392-396, 2004.
DOI : 10.1109/IVS.2004.1336415

L. Briand, Y. Labiche, and J. Leduc, Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software, IEEE Transactions on Software Engineering, vol.32, issue.9, pp.642-663, 2006.
DOI : 10.1109/TSE.2006.96

J. Bendisposto, M. Leuschel, O. Ligot, and M. Samia, La validation de modèles Event-B avec le plug-in ProB pour RODIN, Technique et Science Informatiques, issue.8, pp.27-1065, 2008.

L. Du-bousquet, Y. Ledru, O. Maury, C. Oriat, and J. Lanet, A case study in JML-based software validation, Proceedings. 19th International Conference on Automated Software Engineering, 2004., pp.294-297, 2004.
DOI : 10.1109/ASE.2004.1342750

L. C. Briand, Y. Labiche, and H. Sun, Investigating the Use of Analysis Contracts to Support Fault Isolation in Object Oriented Code, Proc. 2002 ACM SIGSOFT Int. Symp. on Software testing and analysis (ISSTA'02), ACM, pp.70-80, 2002.

L. C. Briand, Y. Labiche, and Y. Wang, An investigation of graph-based class integration test order strategies, IEEE Transactions on Software Engineering, vol.29, issue.7, pp.29-594, 2003.
DOI : 10.1109/TSE.2003.1214324

M. Rajamani and S. K. , From Symptom to Cause: Localizing Errors in Counterexample Traces, Proc. 30th SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pp.97-105, 2003.

A. Bertolino and A. Polini, The Audition Framework for Testing Web Services Interoperability, Proc. 31st Euromicro Conf. on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), pp.134-142, 2005.

A. Baresel and H. Sthamer, Evolutionary Testing of Flag Conditions, Proc. Genetic and Evolutionary Computation Conference, pp.2442-2454, 2003.
DOI : 10.1007/3-540-45110-2_148

T. Bochot, P. Virelizier, H. Waeselynck, and V. Wiels, Model checking flight control systems: The Airbus experience, 2009 31st International Conference on Software Engineering, Companion Volume, pp.18-27, 2009.
DOI : 10.1109/ICSE-COMPANION.2009.5070960

T. Bochot, P. Virelizier, H. Waeselynck, and V. Wiels, Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, pp.74-83, 2010.
DOI : 10.1109/HASE.2010.15

S. Behnia and H. Waeselynck, Test Criteria Definition for B Models, Proc. World Congress on Formal Methods (FM'99), pp.509-529, 1999.
DOI : 10.1007/3-540-48119-2_29

D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist et al., Object-Oriented Development ? The Fusion Method. Object-Oriented Series, 1994.

M. Cramer, B. Fisseni, P. Koepke, D. Kühlwein, B. Schröder et al., The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts, Proc. Workshop on Controlled Natural Language, pp.170-186, 2009.
DOI : 10.1007/978-3-642-14418-9_11

D. Conte, P. Foggia, C. Sansone, and M. Vento, THIRTY YEARS OF GRAPH MATCHING IN PATTERN RECOGNITION, International Journal of Pattern Recognition and Artificial Intelligence, vol.18, issue.03, pp.265-298, 2004.
DOI : 10.1142/S0218001404003228
URL : https://hal.archives-ouvertes.fr/hal-01408706

L. Cardelli and A. D. Gordon, Mobile ambients, Theoretical Computer Science, vol.240, issue.1, pp.177-213, 2000.
DOI : 10.1016/S0304-3975(99)00231-5
URL : http://doi.org/10.1016/s0304-3975(99)00231-5

A. Cavalli, C. Grepet, S. Maag, and V. Tortajada, A validation model for the DSR protocol, 24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings., pp.768-773, 2004.
DOI : 10.1109/ICDCSW.2004.1284120

A. Cavarra and J. Küster-filipe, Formalizing Liveness-Enriched Sequence Diagrams Using ASMs, Abstract State Machines, pp.62-77, 2004.
DOI : 10.1007/978-3-540-24773-9_6

M. Chu, C. Murphy, and G. Kaiser, Distributed In Vivo Testing of Software Applications, 2008 International Conference on Software Testing, Verification, and Validation, pp.509-512, 2008.
DOI : 10.1109/ICST.2008.13

A. Cavalli, S. Maag, and E. Montes-de-oca, A passive conformance testing approach for a MANET routing protocol, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, pp.207-211, 2009.
DOI : 10.1145/1529282.1529326
URL : https://hal.archives-ouvertes.fr/hal-00771619

D. T. Connolly, An improved annealing scheme for the QAP, European Journal of Operational Research, vol.46, issue.1, pp.93-100, 1990.
DOI : 10.1016/0377-2217(90)90301-Q

D. Cavin, Y. Sasson, and A. Schiper, On the accuracy of MANET simulators, Proceedings of the second ACM international workshop on Principles of mobile computing , POMC '02, pp.38-43, 2002.
DOI : 10.1145/584490.584499

S. J. Creese and A. W. Roscoe, TTP: A case study in combining induction and data independence, 1999.

R. Castanet and D. Rouillard, Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis, Proc. IFIP 14th Int. Conf. on Testing Communicating Systems, pp.249-266, 2002.
DOI : 10.1007/978-0-387-35497-2_19

R. Delamare, B. Baudry, S. Ghosh, and Y. Le-traon, A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ, 2009 International Conference on Software Testing Verification and Validation, pp.376-385, 2009.
DOI : 10.1109/ICST.2009.41
URL : https://hal.archives-ouvertes.fr/inria-00477530

D. Dollé, D. Essamé, and J. Falampin, B dans le tranport ferroviaire. L'exp??rience de Siemens Transportation Systems, Techniques et sciences informatiques, vol.22, issue.1, pp.11-32, 2003.
DOI : 10.3166/tsi.22.11-32

J. Dick and A. Faivre, Automating the generation and sequencing of test cases from model-based specifications, Proc. Int. Formal Methods Europe Symposium (FME'93), pp.268-284, 1993.
DOI : 10.1007/BFb0024651

R. Doong and P. G. Frankl, The ASTOOT approach to testing object-oriented programs, ACM Transactions on Software Engineering and Methodology, vol.3, issue.2, pp.101-130, 1994.
DOI : 10.1145/192218.192221

A. Denise, M. Gaudel, and S. Gouraud, A Generic Method for Statistical Testing, 15th International Symposium on Software Reliability Engineering, pp.25-34, 2004.
DOI : 10.1109/ISSRE.2004.2

W. Damm and D. Harel, LSCs: Breathing Life into Message Sequence Charts, Formal Methods in System Design, vol.19, issue.1, pp.45-80, 2001.
DOI : 10.1023/A:1011227529550
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.5472

E. W. Dijkstra, A Discipline of Programming, 1976.

R. Delamare, F. Munoz, B. Baudry, and Y. Le-traon, Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases, Proc. 22nd IFIP WG 6.1 Int. Conf. on Testing Software and Systems, pp.250-265, 2010.
DOI : 10.1007/978-3-642-16573-3_18
URL : https://hal.archives-ouvertes.fr/inria-00555069

L. Dong, R. G. Melhem, D. Mossé, S. Ghosh, W. L. Heimerdinger et al., Implementation of a Transient-Fault-Tolerance Scheme on DEOS ? A Technology Transfer from an Academic System to an Industrial System, Proc. 5th Real Time Technology and Applications Symposium (RTAS'99), pp.56-66, 1999.

J. W. Duran and S. C. Ntafos, An Evaluation of Random Testing, IEEE Transactions on Software Engineering, vol.10, issue.4, pp.438-444, 1984.
DOI : 10.1109/TSE.1984.5010257

V. Devarapalli and D. Sidhu, MZR: a multicast protocol for mobile ad hoc networks, ICC 2001. IEEE International Conference on Communications. Conference Record (Cat. No.01CH37240), pp.886-891, 2001.
DOI : 10.1109/ICC.2001.937365

S. Duprat, J. Souyris, and D. Favre-felix, Formal Verification Workbench for Airbus Avionics Software, Proc. Embedded Real-Time Software, 2006.

A. Egan, D. Kutz, D. Mikulin, R. G. Melhem, and D. Mossé, Fault-tolerant RT-Mach (FT-RT-Mach) and an application to real-time train control, Software: Practice and Experience, vol.8, issue.4, pp.379-395, 1999.
DOI : 10.1002/(SICI)1097-024X(19990410)29:4<379::AID-SPE235>3.0.CO;2-6

J. Fabre, Architecting Dependable Systems Using Reflective Computing: Lessons Learnt and Some Challenges Architecting Dependable Systems VII, LNCS, vol.6420, pp.273-296, 2010.
DOI : 10.1007/978-3-642-17245-8_12

G. Fraser and A. Gargantini, An Evaluation of Model Checkers for Specification Based Test Case Generation, 2009 International Conference on Software Testing Verification and Validation, pp.41-50, 2009.
DOI : 10.1109/ICST.2009.33

J. S. Fitzgerald, P. G. Larsen, and S. Sahara, VDMTools: Advances in Support for Formal Modeling in VDM, SIGPLAN Notices, vol.43, issue.2, pp.3-11, 2008.

F. C. Ferrari, J. C. Maldonado, and A. Rashid, Mutation Testing for Aspect-Oriented Programs, 2008 International Conference on Software Testing, Verification, and Validation, pp.52-61, 2008.
DOI : 10.1109/ICST.2008.37

N. E. Fuchs, Specifications are (preferably) executable, Software Engineering Journal, vol.7, issue.5, pp.323-334, 1992.
DOI : 10.1049/sej.1992.0033
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.1036

K. Guennoun and K. Drira, Using Graph Grammars for Interaction Style Description ? Application to Service-Oriented Architectures, Int. Journal on Computer Systems Science Engineering, vol.21, issue.4, pp.293-299, 2006.

A. Gargantini and C. Heitmeyer, Using Model Checking to Generate Tests from Requirements Specifications, Proc. 7th Eur. Software Engineering Conference (ESEC/FSE'99), pp.146-162, 1999.

J. Grabowski, D. Hogrefe, and R. Nahm, Test Case Generation with Test Purpose Specification by MSCs, Proc 6th SDL Forum (SDL'93), pp.253-266, 1993.

F. Gaucher, E. Jahier, B. Jeannet, and F. Maraninchi, Automatic State Reaching for Debugging Reactive Programs, Proc. 5th Int. Workshop on Automated Debugging, p.309027, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00000840

P. Godefroid, N. Klarlund, and K. Sen, DART: Directed Automated Random Testing, Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI 2005), ACM, pp.213-223, 2005.

S. Ghosh, R. Melhem, and D. Mossé, Fault-Tolerant Rate-Monotonic Scheduling, Proc. 6th IFIP Conf. on Dependable Computing for Critical Applications (DCCA-97, pp.121-145, 1997.

S. Ghosh, R. Melhem, D. Mossé, and J. S. Sarma, Fault-Tolerant Rate-Monotonic Scheduling. Real-Time Systems, pp.149-181, 1998.

A. Groce, D. Peled, and M. Yannakakis, Adaptive Model Checking, Proc. 8th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pp.357-370, 2002.

A. Groce and W. Visser, What Went Wrong: Explaining Counterexamples, Proc. of 10th Int. Conf. on Model Checking Software (SPIN'03), pp.121-136, 2003.
DOI : 10.1007/3-540-44829-2_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.547

R. M. Hierons, K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick et al., Using formal specifications to support testing, ACM Computing Surveys, vol.41, issue.2, p.41, 2009.
DOI : 10.1145/1459352.1459354
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.9397

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The Synchronous Dataflow Programming Language Lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

M. P. Heimdahl, G. Devaraj, and R. J. Weber, Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria, Proc. 8th IEEE Int. Symp. on High Assurance Systems Engineering (HASE 04), pp.178-186, 2004.
DOI : 10.1109/hase.2004.1281742
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.9804

R. M. Hierons, Testing from a Z Specification, Software Testing, Verification & Reliability, pp.19-33, 1997.

I. Hayes and C. B. Jones, Specifications are not (necessarily) executable, Software Engineering Journal, vol.4, issue.6, pp.330-338, 1989.
DOI : 10.1049/sej.1989.0045
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5087

Q. Huang, C. Julien, and G. Roman, Relying on safe distance to achieve strong partitionable group membership in ad hoc networks, IEEE Transactions on Mobile Computing, vol.3, issue.2, pp.192-205, 2004.
DOI : 10.1109/TMC.2004.14

H. S. Hong, Y. R. Kwon, and S. D. Cha, Testing of Object-Oriented Programs Based on Finite State Machines, Proc. 2 nd Asia Pacific Software Engineering (ASPEC'95, pp.234-241, 1995.

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, Proc. 3rd Int. Conf. on Algebraic Methodology and Software Technology (AMAST'93), pp.83-96, 1993.
DOI : 10.1007/978-1-4471-3227-1_8

D. Harel and S. Maoz, Assert and negate revisited, Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools , SCESM '06, pp.237-253, 2008.
DOI : 10.1145/1138953.1138958

M. Harman and P. Mcminn, A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search, IEEE Transactions on Software Engineering, vol.36, issue.2, pp.226-247, 2010.
DOI : 10.1109/TSE.2009.71

M. Harrold, J. Mcgregor, and K. Fitzpatrick, Incremental Testing of Object- Oriented Programs, Proc. 14th IEEE Int. Conf. on Software Engineering (ICSE-14, pp.68-80, 1992.

G. Hamon, L. De-moura, and J. M. 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

M. Harman, S. A. Mansouri, and Y. Zhang, Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications, 2009.

J. Holland, Adaptation in Natural and Artificial Systems, 1975.

W. Hordijk, A Measure of Landscapes, Evolutionary Computation, vol.63, issue.4, pp.335-360, 1996.
DOI : 10.1162/evco.1996.4.4.335

H. M. Hörcher and J. Peleska, Using formal specifications to support software testing, Software Quality Journal, vol.13, issue.2, pp.309-327, 1995.
DOI : 10.1007/BF00402650

Y. Hu, A. Perrig, and D. B. Johnson, Ariadne:, Proceedings of the 8th annual international conference on Mobile computing and networking , MobiCom '02, pp.21-38, 2005.
DOI : 10.1145/570645.570648

M. Harrold and G. Rothermel, Performing Data Flow Testing on Classes, Proc. 2 nd ACM SIGSOFT Symp. on the Foundations of Software Engineering, pp.154-163, 1994.
DOI : 10.1145/193173.195402
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.3919

N. L. Hashim, H. W. Schmidt, and S. Ramakrishnan, Test Order for Class-based Integration Testing of Java Applications, Fifth International Conference on Quality Software (QSIC'05), pp.11-18, 2005.
DOI : 10.1109/QSIC.2005.64

S. Hayashi, R. Sumitomo, and K. Shii, Towards the animation of proofs ??? testing proofs by examples, Theoretical Computer Science, vol.272, issue.1-2, pp.177-195, 2002.
DOI : 10.1016/S0304-3975(00)00350-9

R. Hamlet and R. Taylor, Partition testing does not inspire confidence, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis, pp.1402-1411, 1990.
DOI : 10.1109/WST.1988.5376

G. Huszerl, H. Waeselynck, Z. Egel, A. Kovi, Z. Micskei et al., Refined Design and Testing Framework, Methodology and Application results, Hidenets D5.3 Deliverable, 2008.

P. C. Jorgensen and C. Erickson, Object-oriented integration testing, Communications of the ACM, vol.37, issue.9, pp.30-38, 1994.
DOI : 10.1145/182987.182989

T. Jéron, J. Jézéquel, Y. Le-traon, and P. Morel, Efficient strategies for integration and regression testing of OO systems, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443), pp.260-269, 1999.
DOI : 10.1109/ISSRE.1999.809331

D. B. Johnson, D. A. Maltz, and J. Broch, DSR: The Dynamic Source Routing Protocol for Multi-Hop Wireless Ad Hoc Networks, Chapitre 5 de Ad Hoc Networking, pp.139-172, 2001.

S. A. Kauffman, Adaptation on Rugged Fitness Landscapes, Lectures in the Sciences of Complexity, pp.527-618, 1989.

H. Kopetz and G. Grünsteidl, TTP-a protocol for fault-tolerant real-time systems, Computer, vol.27, issue.1, pp.14-23, 1994.
DOI : 10.1109/2.248873

S. Kirkpatrick, C. D. Gellat, and M. P. Vecchi, Optimization by Simulated Annealing, Science, vol.220, issue.4598, pp.671-680, 1983.
DOI : 10.1126/science.220.4598.671

D. C. Kung, J. Gao, P. Hsia, J. Lin, and Y. Toyoshima, Class Firewall, Test Order, and Regression Testing of Object-Oriented Programs, Journal of Object Oriented Programming, vol.8, issue.2, pp.51-65, 1995.

J. Klose, Live Sequence Charts: a Graphical Formalism for the Specification of Communication Behavior, 2003.

S. Katz, P. Lincoln, and J. Rushby, Low-overhead time-triggered group membership, Proc. 11th Int. Workshop on Distributed Algorithms (WDAG '97), pp.155-169, 1997.
DOI : 10.1007/BFb0030682
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.3805

H. Kugler, M. J. Stern, and E. J. Hubbard, Testing Scenario-Based Models, Proc. 10th Int. Conf. on Fundamental Approaches to Software Engineering (FASE'07), pp.306-320, 2007.
DOI : 10.1007/978-3-540-71289-3_24

J. Küster-filipe, Modelling concurrent interactions, Theoretical Computer Science, vol.351, issue.2, pp.203-220, 2006.
DOI : 10.1016/j.tcs.2005.09.068

Y. Labiche, Contribution au test des logiciels orientés-objet : ordre de test, modèles et critères associés, 2000.

B. T. Ladani, B. Alcalde, and A. R. Cavalli, Passive Testing ??? A Constrained Invariant Checking Approach, Proc. 17th IFIP TC6/WG 6.1 Int. Conf. on Testing of Communicating Systems (TestCom 2005), pp.9-22, 2005.
DOI : 10.1007/978-3-540-30232-2_10

L. Traon, Y. Baudry, B. Jézéquel, and J. , Design by Contract to Improve Software Vigilance, IEEE Transactions on Software Engineering, vol.32, issue.8, pp.571-586, 2006.
DOI : 10.1109/TSE.2006.79
URL : https://hal.archives-ouvertes.fr/inria-00542784

H. Lu, W. K. Chan, and T. H. Tse, Testing context-aware middleware-centric programs, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering , SIGSOFT '06/FSE-14, pp.242-252, 2006.
DOI : 10.1145/1181775.1181805

O. A. Lemos, I. G. Franchin, and P. C. Masiero, Integration testing of Object-Oriented and Aspect-Oriented programs: A structural pairwise approach for Java, Science of Computer Programming, vol.74, issue.10, pp.74-861, 2009.
DOI : 10.1016/j.scico.2009.05.001

J. Lauret, J. Fabre, and H. Waeselynck, Detecting interferences in aspect oriented programs, Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, pp.93-98, 2011.
DOI : 10.1145/1978582.1978602

R. Lefticaru and F. Ipate, A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing, 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp.201-208, 2008.
DOI : 10.1109/SYNASC.2008.69

C. V. Lopes and T. Ngo, Unit Testing Aspectual Behavior, Proc. 1st Workshop on Testing Aspect-Oriented Programs (WTAOP '05), 2005.

K. R. Leung, J. Ng, and W. L. Yeung, Embedded Program Testing in Untestable Mobile Environment: an Experience of Trustworthiness Approach, Proc. 11th Asia-Pacific Software Engineering Conference, pp.430-437, 2004.

A. Lakehal and I. Parissis, Structural coverage criteria for LUSTRE/SCADE programs, Software Testing, Verification and Reliability, vol.8, issue.4, pp.133-154, 2009.
DOI : 10.1002/stvr.394
URL : https://hal.archives-ouvertes.fr/hal-01424792

B. Legeard, F. Peureux, and M. Utting, Controlling test case explosion in test generation from B formal models, Software Testing, Verification and Reliability, vol.14, issue.2, pp.81-103, 2004.
DOI : 10.1002/stvr.287

Y. Labiche, P. Thévenod-fosse, H. Waeselynck, and M. Durand, Testing levels for object-oriented software, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.136-145, 2000.
DOI : 10.1145/337180.337197

G. Lussier and H. Waeselynck, Informal proof analysis towards testing enhancement, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings., pp.27-38, 2002.
DOI : 10.1109/ISSRE.2002.1173209

G. Lussier and H. Waeselynck, Proof-Guided Testing: an Experimental Study, Proc. 28th Ann. Int. Computer Software and Applications Conf. (COMPSAC'2004), pp.528-533, 2004.
DOI : 10.1109/cmpsac.2004.1342890

G. Lussier, H. G. Waeselynck, H. Lussier, and . Waeselynck, Deriving test sets from partial proofs, 15th International Symposium on Software Reliability Engineering, pp.14-24, 2004.
DOI : 10.1109/ISSRE.2004.16

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

B. Messmer and H. Bunke, Efficient subgraph isomorphism detection: a decomposition approach, IEEE Transactions on Knowledge and Data Engineering, vol.12, issue.2, pp.307-323, 2000.
DOI : 10.1109/69.842269

B. A. Malloy, P. J. Clarke, and E. L. Lloyd, A parameterized cost model to order classes for class-based testing of C++ applications, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003., pp.353-364, 2003.
DOI : 10.1109/ISSRE.2003.1251057

V. Maniezzo, M. Dorigo, and A. Colorni, Algodesk: An experimental comparison of eight evolutionary heuristics applied to the Quadratic Assignment Problem, European Journal of Operational Research, vol.81, issue.1, pp.188-204, 1995.
DOI : 10.1016/0377-2217(93)E0128-K

P. Mcminn and M. Holcombe, Hybridizing Evolutionary Testing with the Chaining Approach, Proc. Genetic and Evolutionary Computation Conference, pp.1363-1374, 2004.
DOI : 10.1007/978-3-540-24855-2_157

P. Merz and B. Freisleben, Fitness Lanscape Analysis and Memetic Algorithms for the Quadratic Assignment Problem, IEEE Trans. on Evolutionary Computation, vol.4, issue.4, pp.337-352, 2000.

C. Mao and Y. Lu, AICTO: An Improved Algorithm for Planning Inter-class Test Order, Proc. 5 th Int. Conf. on Computer and Information Technology (CIT'05, pp.927-931, 2005.

S. R. Medidi and K. Vik, Quality of service-aware source-initiated ad-hoc routing, 2004 First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004. IEEE SECON 2004., pp.108-117, 2004.
DOI : 10.1109/SAHCN.2004.1381908

Z. Micskei and H. Waeselynck, The Many Meanings of UML 2 Sequence Diagrams: a Survey. A paraître dans Software and Systems Modeling. Version en-ligne depuis, 2010.

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

F. N. Noudem and C. Viho, Modeling, verifying and testing the mobility management in the mobile IPv6 protocol, Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005., pp.619-626, 2005.
DOI : 10.1109/CONTEL.2005.185970

C. E. Nugent, T. E. Vollman, and J. Ruml, An Experimental Comparison of Techniques for the Assignment of Facilities to Locations, Operations Research, vol.16, issue.1, pp.150-173, 1968.
DOI : 10.1287/opre.16.1.150

M. D. Waeselynck, H. Rivière, and N. , GraphSeq: a Graph Matching Tool for the Extraction of Mobility Patterns, Proc. 3rd IEEE Int. Conf. on Software Testing, Verification and Validation, pp.195-204, 2010.

S. Owre, J. Rushby, N. Shankar, and F. Von-henke, Formal verification for fault-tolerant architectures: prolegomena to the design of PVS, IEEE Transactions on Software Engineering, vol.21, issue.2, pp.107-125, 1995.
DOI : 10.1109/32.345827

M. Sullivan, S. Vössner, and J. Wegener, Testing Temporal Correctness of Real- Time Systems ? a New Approach using Genetic Algorithms and Cluster Analysis, Proc. 6th Eur. Conf. on Software Testing, 1998.

A. S. Parrish, R. B. Borie, and D. W. Cordes, Automated flow graph-based testing of object-oriented software modules, Journal of Systems and Software, vol.23, issue.2, pp.95-109, 1993.
DOI : 10.1016/0164-1212(93)90076-A

S. M. Poulding and J. A. Clark, Efficient Software Verification: Statistical Testing Using Automated Search, IEEE Transactions on Software Engineering, vol.36, issue.6, pp.763-777, 2010.
DOI : 10.1109/TSE.2010.24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.7548

S. M. Poulding, J. A. Clark, and H. Waeselynck, A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011.
DOI : 10.1109/ICSTW.2011.36

H. Pfeifer, Formal Verification of the TTP Group Membership Algorithm, Proc, 2000.
DOI : 10.1007/978-0-387-35533-7_1

M. Petit and A. Gotlieb, Uniform Selection of Feasible Paths as a Stochastic Constraint Problem, Seventh International Conference on Quality Software (QSIC 2007), pp.280-285, 2007.
DOI : 10.1109/QSIC.2007.4385508

S. Pickin and J. Jézéquel, Using UML Sequence Diagrams as the Basis for a Formal Test Description Language, Proc. 4th Int. Conf. on Integrated Formal Methods (IFM2004), pp.481-500, 2004.
DOI : 10.1007/978-3-540-24756-2_26

D. E. Perry and G. E. Kaiser, Adequate Testing and Object-Oriented Programming, Journal of Object-Oriented Programming, vol.2, issue.5, pp.13-19, 1990.

H. Pfeifer and F. Von-henke, Formal analysis for dependability properties: the time-triggered architecture example, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597), pp.343-352, 2001.
DOI : 10.1109/ETFA.2001.996387

T. Robert, J. Fabre, and M. Roy, On-line Monitoring of Real Time Applications for Early Error Detection, 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing, pp.24-31, 2008.
DOI : 10.1109/PRDC.2008.31

J. Ruiz, M. Killijian, J. Fabre, and P. Thévenod-fosse, Reflective fault-tolerant systems: from experience to challenges, IEEE Transactions on Computers, vol.52, issue.2, pp.237-254, 2003.
DOI : 10.1109/TC.2003.1176989

C. M. Reidys and P. F. Stadler, Combinatorial Landscapes, SIAM Review, vol.44, issue.1, pp.3-54, 2002.
DOI : 10.1137/S0036144501395952
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.629

M. Stoerzer and J. Graf, Using pointcut delta analysis to support evolution of aspect-oriented software, 21st IEEE International Conference on Software Maintenance (ICSM'05), pp.653-656, 2005.
DOI : 10.1109/ICSM.2005.99

A. C. Schultz, J. J. Grefenstette, D. Jong, and K. A. , Learning to Break Things: Adaptative Testing of Intelligent Controllers. Handbook on Evolutionary Computation, chapter G3, 1995.

K. Sen, D. Marinov, and G. Agha, CUTE: a Concolic Unit Testing Engine for C, Proc. 10th European Software Engineering Conference, pp.263-272, 2005.

P. F. Stadler and W. Schnabl, The landscape of the traveling salesman problem, Physics Letters A, vol.161, issue.4, pp.337-344, 1992.
DOI : 10.1016/0375-9601(92)90557-3

P. Sinha and N. Suri, Identification of test cases using a formal approach, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352), pp.314-321, 1999.
DOI : 10.1109/FTCS.1999.781066

K. Shearer, S. Venkatesh, and H. Bunke, Video sequence matching via decision tree path following, Pattern Recognition Letters, vol.22, issue.5, pp.479-492, 2001.
DOI : 10.1016/S0167-8655(00)00121-5
URL : http://dro.deakin.edu.au/eserv/DU:30044294/venkatesh-videosequence-2001.pdf

E. D. Taillard, Robust taboo search for the quadratic assignment problem, Parallel Computing, vol.17, issue.4-5, pp.443-455, 1991.
DOI : 10.1016/S0167-8191(05)80147-4

K. Tai and F. J. Daniels, Interclass Test Order for Object-Oriented Software, Journal of Object-Oriented Programming, vol.12, issue.4, pp.18-25, 1999.

C. D. Turner and D. J. Robson, The state-based testing of object-oriented programs, 1993 Conference on Software Maintenance, pp.302-310, 1993.
DOI : 10.1109/ICSM.1993.366932

N. Tracey, A Search-Based Automated Test Data Generation Framework for Safety-Critial Software, 2000.

T. H. Tse, S. S. Yau, W. K. Chan, H. Lu, and T. Y. Chen, Testing context-sensitive middleware-based software applications, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004., pp.458-465, 2004.
DOI : 10.1109/CMPSAC.2004.1342879
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.4975

J. R. Ullmann, An Algorithm for Subgraph Isomorphism, Journal of the ACM, vol.23, issue.1, pp.31-52, 1976.
DOI : 10.1145/321921.321925

F. W. Vaandrager, On the relationship between process algebra and input/output automata, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.387-398, 1991.
DOI : 10.1109/LICS.1991.151662

L. Van-aertryck, M. Benveniste, L. Métayer, and D. , CASTING: a formally based software test generation method, Proceedings First IEEE International Conference on Formal Engineering Methods, pp.101-110, 1997.
DOI : 10.1109/ICFEM.1997.630411

T. E. Vos, A. I. Baars, F. F. Lindlar, P. M. Kruse, A. Windisch et al., Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool, 2010 Third International Conference on Software Testing, Verification and Validation, pp.175-184, 2010.
DOI : 10.1109/ICST.2010.24

H. Waeselynck and J. Boulanger, The role of testing in the B formal development process, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95, pp.58-67, 1995.
DOI : 10.1109/ISSRE.1995.497644

H. Waeselynck and B. Behnia, B model animation for external verification, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241), pp.36-45, 1998.
DOI : 10.1109/ICFEM.1998.730568

J. Wegener and O. Buehler, Evaluation of Different Fitness Functions for the Evolutionary Testing of an Autonomous Parking System, Proc. Genetic and Evolutionary Computation Conference, pp.1400-1412, 2004.
DOI : 10.1007/978-3-540-24855-2_160

E. Weinberger, Correlated and uncorrelated fitness landscapes and how to tell the difference, Biological Cybernetics, vol.1, issue.5, pp.325-336, 1990.
DOI : 10.1007/BF00202749

Z. Wang, S. Elbaum, and D. S. Rosenblum, Automated Generation of Context-Aware Tests, 29th International Conference on Software Engineering (ICSE'07), pp.406-415, 2007.
DOI : 10.1109/ICSE.2007.18

F. Wedyan and S. Ghosh, A Dataflow Testing Approach for Aspect-Oriented Programs, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, pp.64-73, 2010.
DOI : 10.1109/HASE.2010.13

E. J. Weyuker and B. Jeng, Analyzing partition testing strategies, IEEE Transactions on Software Engineering, vol.17, issue.7, pp.703-711, 1991.
DOI : 10.1109/32.83906

T. Wahls, G. T. Leavens, and A. L. Baker, Executing Formal Specifications with Concurrent Constraint Programming, Automated Software Engineering, vol.7, issue.4, pp.315-343, 2000.
DOI : 10.1023/A:1026554217992

N. Williams, B. Marre, P. Mouy, and M. Roger, PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis, Proc. 5th European Dependable Computing Conference, pp.281-292, 2005.
DOI : 10.1007/11408901_21

H. Waeselynck, Z. Micskei, M. D. N-'guyen, and N. Rivière, Mobile Systems from a Validation Perspective: a Case Study, Sixth International Symposium on Parallel and Distributed Computing (ISPDC'07), pp.85-92, 2007.
DOI : 10.1109/ISPDC.2007.37

H. Waeselynck, Z. Micskei, N. Rivière, A. Hamvas, and I. Nitu, TERMOS: A Formal Language for Scenarios in Mobile Computing Systems, Proc. 7th Int. ICST Conference on Mobile and Ubiquitous Systems, 2010.
DOI : 10.1109/TMC.2004.14

D. Whitley, A. M. Sutton, and A. E. Howe, Understanding elementary landscapes, Proceedings of the 10th annual conference on Genetic and evolutionary computation, GECCO '08, pp.585-592, 2008.
DOI : 10.1145/1389095.1389208
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.7663

H. Waeselynck and P. Thévenod-fosse, A Case Study in Statistical Testing of Reusable Concurrent Objects, Proc. 3rd Eur. Dependable Computing Conf. (EDDC-3), pp.401-418, 1999.
DOI : 10.1007/3-540-48254-7_27

H. Waeselynck, P. Thévenod-fosse, and O. Abdellatif-kaddour, Simulated annealing applied to test generation: landscape characterization and stopping criteria, Empirical Software Engineering, vol.63, issue.2, pp.35-63, 2007.
DOI : 10.1007/s10664-006-7551-5

D. Xu and W. Xu, State-based incremental testing of aspect-oriented programs, Proceedings of the 5th international conference on Aspect-oriented software development , AOSD '06, pp.180-189, 2006.
DOI : 10.1145/1119655.1119680

J. Zhao and M. Rinard, Pipa: A Behavioral Interface Specification Language for Aspect, Proc. 6th Int. Conf. on Fundamental Approaches to Software Engineering, pp.150-165, 2003.
DOI : 10.1007/3-540-36578-8_11

W. Zhang and B. G. Ryder, Discovering accurate interclass test dependences, Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering , PASTE '07, pp.55-62, 2007.
DOI : 10.1145/1251535.1251545

I. Chapitre, Prise en compte des technologies de développement des logiciels testés

.. Kung, Tests d'intégration inter-classes : définition et ordre des étapes de test11 I.2.1. Travaux pionniers de, p.11

I. Chapitre, Test en support à la vérification formelle (et vice-versa), p.29

I. Chapitre, Test basé sur des métaheuristiques de recherche : analyse de paysages .49 III.1. Du problème de test et des difficultés qui ont motivé nos travaux, p.51

I. Chapitre and .. Termos, un langage de scénarios pour le test de systèmes mobiles ....67 IV.1. Spécificités des scénarios dans un contexte mobile, p.69

.. Sémantique-de-la-vue-Événementielle, 1. Choix d'interprétation et restrictions syntaxiques, p.79