P. Gibson, Formal Requirements Models: Simulation, Validation, and Verification, technical report, 2001.

C. Heitmeyer, J. Kirby, and B. Labaw, Tools for formal specification, verification, and validation of requirements, Proceedings of COMPASS '97: 12th Annual Conference on Computer Assurance, 1997.
DOI : 10.1109/CMPASS.1997.613206

S. Helke, T. Neustupny, and T. Santen, Automating Test Case Generation from Z Specifications with Isabelle ZUM '97: The Z Formal Specification Notation, LNCS, vol.1212, pp.52-71, 1997.

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

L. Tahat, B. Vaysburg, B. Koreland, and A. Bader, Requirement-based automated black-box test generation, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001, 2001.
DOI : 10.1109/CMPSAC.2001.960658

A. Gargantini and C. Heitmeyer, Using Model Checking to Generate Tests from Requirements Specifications, Proc. Seventh European Eng. Conf. with Seventh ACM SIGSOFT Int'l Symp. Foundations of Software Eng, 1999.
DOI : 10.1145/318774.318939
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.4134

D. D. Souza and A. Wills, Interaction Models: Uses, Case Actions, and Collaborations Objects, Components, and Frameworks with UML: The Catalysis Approach, 1999.

A. Cockburn, Structuring Use Cases with Goals, J. Object- Oriented Programming, pp.35-40, 1997.

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7831

P. Kruchten, Rational Unified Process: An Introduction, 1998.

L. Briand and Y. Labiche, A UML-Based Approach to System Testing, J. Software and Systems Modeling, pp.10-42, 2002.

F. Basanieri, A. Bertolino, and E. Marchetti, The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects, Proc. Fifth Int'l Conf. Unified Modeling Language: Model Eng. Languages, Concepts, and Tools, pp.383-397, 2002.
DOI : 10.1007/3-540-45800-X_30

J. Ryser and M. Glinz, Using Dependency Charts to Improve Scenario-Based Testing, Proc. 17th Int'l Conf. Testing Computer Software, 2000.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.283-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

M. Fowler, Use and Abuse Cases, Distributed Computing, 1998.

C. Nebut, F. Fleurey, Y. L. Traon, and J. Jézéquel, A Requirement-Based Approach to Test Product Families, Proc. Fifth Workshop Product Families Eng, 2003.
DOI : 10.1007/978-3-540-24667-1_15
URL : https://hal.archives-ouvertes.fr/hal-00794799

C. Jard, Synthesis of distributed testers from true-concurrency models of reactive systems, Information and Software Technology, vol.45, issue.12, pp.805-814, 2003.
DOI : 10.1016/S0950-5849(03)00061-2
URL : https://hal.archives-ouvertes.fr/inria-00072021

C. Jard and T. Jéron, TGV: theory, principles and algorithms, Proc. Sixth World Conf. Integrated Design and Process Technology, 2002.
DOI : 10.1007/s10009-004-0153-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4262

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

I. Recommendation, Message Sequence Chart (MSC), Geneva: Int'l Telecommunication Union?Telecomm. Standardization Sector, 1999.

J. Warmer and A. Kleppe, The Object Constraint Language: Precise Modeling with UML, 1998.

L. Briand, W. Dzidek, and Y. Labiche, Using Aspect-Oriented Programming to Instrument OCL Contracts in Java, 2004.

K. Marriott and P. J. Stuckey, Programming with Constraints, 2000.

R. Bjork, An ATM Simulation, 2005.

F. Fleurey, A Framework to Trace Execution of Java Programs, 2005.

I. Jacobson, M. Christerson, P. Jonsson, and G. , Object- Oriented Softaware Engineering: A Use Case Driven Approach, 1992.

R. Binder, Testing Object-Oriented Systems, 2000.

G. Bernot, M. Gaudeland, and B. Marre, Software testing based on formal specifications: a theory and a tool, Software Engineering Journal, vol.6, issue.6, pp.387-405, 1991.
DOI : 10.1049/sej.1991.0040

J. Dick and A. Faivre, Automating the Generation and Sequencing of Test Cases from Modelbased Specifications, Proc. Int'l Symp. Formal Methods Europe, pp.268-284, 1993.

J. Ryser, S. Berner, and M. Glinz, On the State of the Art in Requuirements-Based Validation and Test of Software, 1998.

J. Offutt and A. Abdurazik, Generating Tests from UML Specifications, Proc. Second Int'l Conf. Unified Modeling Language: Beyond the Standard, 1999.
DOI : 10.1007/3-540-46852-8_30
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.2771

Y. Kim, H. Honh, S. Cho, D. Bae, and S. Cha, Test cases generation from UML state diagrams, IEE Proc. Software, pp.187-192, 1999.
DOI : 10.1049/ip-sen:19990602
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.2280

P. Frö-hlich and J. Link, Automated Test Case Generation from Dynamic Models, Proc. 14th European Conf. Object-Oriented Programming, 2000.

J. Ryser and M. Glinz, A Scenario-Based Approach to Validating and Testing Software Systems Using Statecharts, Proc. 12th Int'l Conf. Software and Systems Eng. and Their Applications, 1999.

M. Riebisch, I. Philippow, and M. Gö-tze, UML-Based Statistical Test Case Generation, Proc. Int'l Conf. Net.ObjectDays, pp.394-411, 2002.
DOI : 10.1007/3-540-36557-5_28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.4130

C. Nebut, F. Fleurey, Y. L. Traon, and J. Jézéquel, Requirements by contracts allow automated system testing, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003., 2003.
DOI : 10.1109/ISSRE.2003.1251033
URL : https://hal.archives-ouvertes.fr/hal-00794812

R. H. Carver and K. Tai, Use of sequencing constraints for specification-based testing of concurrent programs, IEEE Transactions on Software Engineering, vol.24, issue.6, pp.471-490, 1998.
DOI : 10.1109/32.689403

F. Daniels and K. Tai, Measuring the effectiveness of method test sequences derived from sequencing constraints, Proceedings of Technology of Object-Oriented Languages and Systems, TOOLS 30 (Cat. No.PR00278), pp.74-83, 1999.
DOI : 10.1109/TOOLS.1999.787537

Y. Cheon and G. T. Leavens, A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, 2001.
DOI : 10.1007/3-540-47993-7_10

M. Benattou, J. Brueland, and N. Hameurlain, Generating Test Data from OCL Specification, Proc. ECOOP Workshop Integration and Transformation of UML Models, 2002.

C. De-recherche, I. Thalès, and C. , Programme, 2005.