A case study using the round-trip strategy for state-based class testing, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings., 2002. ,
DOI : 10.1109/ISSRE.2002.1173268
A Theory of Objects, 1996. ,
DOI : 10.1007/978-1-4419-8598-9
Test adequacy criteria for UML design models, Software Testing, Verification and Reliability, vol.17, issue.2, pp.95-127, 2003. ,
DOI : 10.1002/stvr.270
Fault localization using execution slices and dataflow tests, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95, pp.143-151, 1995. ,
DOI : 10.1109/ISSRE.1995.497652
Another tool for language recognition ,
Coral : A metamodel kernel for transformation engines, Proceedings of the Second Europena Workshop on Model Driven Architecture (MDA), pp.165-170, 2004. ,
Classboxes: controlling visibility of class extensions, Computer Languages, Systems & Structures, vol.31, issue.3-4, pp.107-126, 2005. ,
DOI : 10.1016/j.cl.2004.11.002
URL : https://hal.archives-ouvertes.fr/inria-00533458
Software Testing Techniques, 1990. ,
Automatic Test Case Optimization: A Bacteriologic Algorithm, IEEE Software, vol.22, issue.2, pp.76-82, 2005. ,
DOI : 10.1109/MS.2005.30
Automatic test case optimization using a bacteriological adaptation model: application to .NET components, Proceedings 17th IEEE International Conference on Automated Software Engineering,, 2002. ,
DOI : 10.1109/ASE.2002.1115023
From genetic to bacteriological algorithms for mutation-based testing, procedings of the Thirteenth International Symposium on Software Reliability engineering, pp.73-96, 2002. ,
DOI : 10.1002/stvr.313
Improving test suites for efficient fault localization Metamodel-based test generation for model transformations : an algorithm and a tool Software testing based on formal specifications : a theory and a tool, proceedings of the 28th International Conference on Software Engineering (ICSE 06 Tool integration at the meta-model level within the fujaba tool suite. International Journal on Software Tools for Technology Transfer (STTT), pp.387-405203, 1991. ,
Formalization of the whole-part relationship in the unified modeling language, IEEE Transactions on Software Engineering, vol.29, issue.5, pp.459-470, 2003. ,
DOI : 10.1109/TSE.2003.1199074
Testing Object-Oriented Systems : Models, Patterns, and Tools A uml-based approach to system testing, Journal of Software and Systems Modeling, 1999. ,
Syntactic closures, Proceedings of the 1988 ACM conference on LISP and functional programming , LFP '88, pp.86-95, 1988. ,
DOI : 10.1145/62678.62687
Metamodel-based Integration of Tools, Proceeding TIS 2003 Workshop on Tool Integration in System Development, 2003. ,
Model transformations in practice workshop Building trust into oo components using a genetic analogy, ISSRE'2000 (International Symposium on Software Reliability Engineering, 2000. ,
The carroll research program ,
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, 2002. ,
DOI : 10.1007/3-540-47993-7_10
A system to generate test data and symbolically execute programs, IEEE Transaction on Software Enginnering, vol.2, issue.3, pp.215-237, 1976. ,
Architecturing software using a methodology for language development, Proceedings of the 10th International Symposium on Programming Language Implementation and Logic Programming, pp.170-194, 1998. ,
URL : https://hal.archives-ouvertes.fr/inria-00476073
GME, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, pp.82-83, 2003. ,
DOI : 10.1145/949344.949360
Automating the generation and sequencing of test cases from model-based specifications, FME '93 : Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods, pp.268-284, 1993. ,
DOI : 10.1007/BFb0024651
Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, 1978. ,
DOI : 10.1109/C-M.1978.218136
A tool-supported approach to testing uml design models, ICECCS, pp.519-528, 2005. ,
The eclipse modeling framework project home page ,
Action Spécifique CNRS sur l'Ingénierie Dirigée par les Modèles, 2005. ,
Dániel Varró, and Szilvia Varró-Gyapay. Model transformation by graph transformation : A comparative study, MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005), 2005. ,
The impact of software evolution on code coverage information, ICSM, pp.170-179, 2001. ,
Visually encoding program test information to find faults in software, 2001. ,
The eclipse modeling framework project home page ,
Prioritizing test cases for regression testing, 2000. ,
Test case prioritization: a family of empirical studies, proceedings of IEEE Transactions on Software Engineering, pp.159-182, 2002. ,
DOI : 10.1109/32.988497
MDE and validation : Testing model transformations, Proc. of the SIVOES-Modeva workshop , SIVOES (Specification Implementation and Validation Of Embedded Systems)-MoDeVa (Model Design and Validation), 2004. ,
Validation of UML and OCL Models by Automatic Snapshot Generation, UML, pp.265-279, 2003. ,
DOI : 10.1007/978-3-540-45221-8_23
Test adequacy assessment for UML design model testing, International Symposium on Software Reliability Engineering, 2003. ,
Design patterns : elements of reusable object-oriented software, 1995. ,
Smalltalk-80 : the language and its implementation, 1983. ,
Software Factories : Assembling Applications with Patterns, Models, Frameworks, and Tools, 2004. ,
Software factories, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, 2004. ,
DOI : 10.1145/949344.949348
A methodology for controlling the size of a test suite, ACM Transactions on Software Engineering and Methodology, vol.2, issue.3, pp.270-285, 1993. ,
DOI : 10.1145/152388.152391
Alain Le Guennec, and François Pennaneac'h . Umlaut : an extendible uml transformation framework, Automated Software Engineering, ASE'99, 1999. ,
Towards model-driven testing, Electr. Notes Theor. Comput. Sci, vol.82, issue.6, 2003. ,
Automatic structural testing using genetic algorithms, Software Engineering Journal, vol.11, issue.5, pp.299-306, 1996. ,
DOI : 10.1049/sej.1996.0040
Visualization for fault localization, Proceedings of the Workshop on Software Visualization, 2001. ,
Visualization of test information to assist fault localization, Proceedings of the 24th International Conference on Software Engineering, 2002. ,
Test Generation Derived from Model-Checking, CAV'99, pp.108-122, 1999. ,
DOI : 10.1007/3-540-48683-6_12
A strategy for using genetic algorithms to automate branch and fault-based testing, The Computer Journal, vol.2, issue.41, pp.98-107, 1998. ,
Object-oriented software engineering with Eiffel, 1996. ,
Systematic validation of model transformations, Proceedings of Workshop in Software Model Engineering associated to UML'04, 2004. ,
The kermeta project home page ,
Tissage d'aspects comportementaux, Langages et Modèles à Objets : LMO'06, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00511391
Boundary Coverage Criteria for Test Generation from Formal Models, 15th International Symposium on Software Reliability Engineering, pp.139-150, 2004. ,
DOI : 10.1109/ISSRE.2004.12
Dynamic method for software test data generation, Software Testing, Verification and Reliability, pp.203-216, 1992. ,
Model-integrated development of embedded software, Proceedings of the IEEE, vol.91, issue.1, pp.145-164, 2003. ,
DOI : 10.1109/JPROC.2002.805824
Composing domain-specific design environments, Computer, vol.34, issue.11, pp.3444-51, 2001. ,
DOI : 10.1109/2.963443
Automated Boundary Testing from Z and B, FME '02 : Proceedings of the International Symposium of Formal Methods Europe on Formal Methods -Getting IT Right, pp.21-40, 2002. ,
DOI : 10.1007/3-540-45614-7_2
Practical Declarative Model Transformation with Tefkat, Model Transformations In Practice Workshop, 2005. ,
DOI : 10.1007/11663430_15
A testing framework for model transformations . Model-driven Software Development -Research and Practice in Software Engineering, 2005. ,
Eiffel agents ,
Applying "design by contract, Computer (IEEE), pp.40-51, 1992. ,
Model-driven analysis and synthesis of concrete syntax, Proceedings of MODELS/UML'2006, volume to be published of LNCS, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00795597
Weaving Executability into Object-Oriented Meta-languages, Proceedings of MODELS/UML'2005, volume to be published of LNCS, 2005. ,
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095
On executable meta-languages applied to model transformations, Model Transformations In Practice Workshop, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000381
Generating software test data by evolution, IEEE Transactions on Software Engineering, vol.27, issue.12, pp.1085-1110, 2001. ,
DOI : 10.1109/32.988709
Specificationbased class testing : A case study, 2nd International Conference on Formal Engineering Methods (ICFEM'98), 1998. ,
Mia-transformation ,
Automatic Generation of Floating-Point Test Data, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.223-226, 1976. ,
DOI : 10.1109/TSE.1976.233818
Platform independent Web application modeling and development with Netsilon, Software & Systems Modeling, vol.44, issue.1, pp.424-442, 2005. ,
DOI : 10.1007/s10270-005-0091-4
URL : https://hal.archives-ouvertes.fr/inria-00120216
Une méthode de formalisation progressive des exigences basée sur un modèle simulable In Langages et Modèles à Objets : LMO'05 (L'Objet logiciel, bases de données, réseaux , RSTI série l'Objet, pp.145-158, 2005. ,
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
Automatic test generation: a use case driven approach, IEEE Transactions on Software Engineering, vol.32, issue.3, 2006. ,
DOI : 10.1109/TSE.2006.22
URL : https://hal.archives-ouvertes.fr/lirmm-00102747
Generating Tests from UML Specifications, Proceedings of UML'99 (Unified Modeling Language), 1999. ,
DOI : 10.1007/3-540-46852-8_30
The category-partition method for specifying and generating fuctional tests, Communications of the ACM, vol.31, issue.6, pp.31676-686, 1988. ,
DOI : 10.1145/62959.62964
Meta object facility 1.4 specification, pp.2002-2006 ,
Meta object facility 1.4 specification, pp.2005-2014 ,
Meta object facility 2.0 specification ,
Test-data generation using genetic algorithms, Software Testing, Verification and Reliability, vol.8, issue.4, pp.263-283, 1999. ,
DOI : 10.1002/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y
System Test Synthesis from UML Models of Distributed Software, LNCS, editor, Formal Techniques for Networked and Distributed Systems -FORTE 2002, 2002. ,
DOI : 10.1007/3-540-36135-9_7
URL : https://hal.archives-ouvertes.fr/hal-00794606
Object-Oriented Modeling and Design Principes de méta-modélisation pour l'utilisation de canevas d'applications à objets (MétaGen et les frameworks) Model composition -a signature-based approach Validating UML models and OCL constraints Object Modeling with the OCL : The Rationale behind the Object Constraint Language Rosenzweig. Species Diversity In Space and Time A metamodeling technique : The métagen system, Une architecture pour les transformations de modèles et la restructuration de modèles UML. [RFG + 05] Aspect Oriented Modeling (AOM) Workshop UML 2000 -The Unified Modeling Language. Advancing the Standard. Third International Conference ProceedingsRG02] Mark Richters and Martin Gogolla. OCL : Syntax, semantics, and tools Tools 16 : Tools Europe'95 Test case prioritization : An empirical study. procedings of International Conference on Software Maintenance Prioritizing test cases for regression testing. IEEE Transactions on Software Engineering, pp.265-277, 1939. ,
A case for test-code generation in model-driven systems, GPCE '03 : Proceedings of the second international conference on Generative programming and component engineering, pp.377-396, 2003. ,
Efficient and safe-for-space closure conversion, ACM Transactions on Programming Languages and Systems, vol.22, issue.1, pp.129-161, 2000. ,
DOI : 10.1145/345099.345125
Scheme : An interpreter for extended lambda calculus, 1975. ,
Model-integrated computing, Computer, vol.30, issue.4, pp.110-111, 1997. ,
DOI : 10.1109/2.585163
MULTIGRAPH: an architecture for model-integrated computing, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95, pp.361-368, 1995. ,
DOI : 10.1109/ICECCS.1995.479359
Model-Based Test Driven Development of the Tefkat Model-Transformation Engine, 15th International Symposium on Software Reliability Engineering, 2004. ,
DOI : 10.1109/ISSRE.2004.23
MetaEdit??? A flexible graphical environment for methodology modelling, CAiSE '91 : Proceedings of the third international conference on Advanced information systems engineering, pp.168-193, 1991. ,
DOI : 10.1007/3-540-54059-8_85
MDA Model-Driven Architecture Online presentation http, 2000. ,
Programming Ruby : A Pragmatic Programmer's Guide, 2000. ,
MetaEdit+, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, pp.92-93, 2003. ,
DOI : 10.1145/949344.949365
Casting : A formally based software test generation method Domain-specific languages : An annotated bibliography, ICFEM '97 : Proceedings of the 1st International Conference on Formal Engineering Methods, pp.10126-10162, 1997. ,
MTL and Umlaut NG -engine and framework for model transformation, ERCIM News, vol.58, issue.58, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00000953
Evolutionary test environment for automatic structural testing, Information and Software Technology, vol.43, issue.14, pp.841-854, 2001. ,
DOI : 10.1016/S0950-5849(01)00190-2
151 5.4 Partitions pour le méta-modèle de la figures 5, p.155 ,
164 5.16 Stratégies de création des combinaisons, p.165 ,
166 5.19 Fragments de modèles pour les critères, Comb, p.166 ,
185 Publications Journaux internationaux 1. Clémentine Nebut, Franck Fleurey Automatic Test Generation : A Use Case Driven Approach, Mutations dirigées par des fragments, pp.140-155, 2006. ,
From genetic to bacteriological algorithms for mutation-based testing, Software Testing, Verification and Reliability, vol.11, issue.2, pp.73-96, 2005. ,
DOI : 10.1002/stvr.313
Automatic Test Case Optimization: A Bacteriologic Algorithm, IEEE Software, vol.22, issue.2, pp.76-82, 2005. ,
DOI : 10.1109/MS.2005.30
Metamodel-based test Generation for Model Transformations : an Algorithm and a Tool ,
Model-Driven Analysis and Synthesis of Concrete Syntax Accepted for publication at the MoDELS, UML 2006 conference (Acceptance Ratio : 28%) ,
Improving test suites for efficient fault localization, Proceeding of the 28th international conference on Software engineering , ICSE '06, p.9, 2006. ,
DOI : 10.1145/1134285.1134299
URL : https://hal.archives-ouvertes.fr/inria-00542783
Weaving Executability into Object-Oriented Meta-languages, proceedings of MO- DELS/UML'2005, p.27, 2005. ,
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095
From testing to diagnosis: an automated approach, Proceedings. 19th International Conference on Automated Software Engineering, 2004., p.27, 2004. ,
DOI : 10.1109/ASE.2004.1342753
Requirements by contracts allow automated system testing, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. ,
DOI : 10.1109/ISSRE.2003.1251033
URL : https://hal.archives-ouvertes.fr/hal-00794812
Genes and bacteria for automatic test cases optimization in the .NET environment, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings., p.45, 2002. ,
DOI : 10.1109/ISSRE.2002.1173246
URL : https://hal.archives-ouvertes.fr/hal-00794778
Automatic test case optimization using a bacteriological adaptation model: application to .NET components, Proceedings 17th IEEE International Conference on Automated Software Engineering,, p.40, 2002. ,
DOI : 10.1109/ASE.2002.1115023
Challenges for Model Transformation Testing, Proceedings of IMDT workshop in conjunction with ECMDA'06, 2006. ,
Frédéric Fondement and Philippe Studer. On Executable Meta-Languages applied to Model Transformations. Model Transformation In Practice (MTIP) workshop held in conjunction with MODELS, UML 2005 conference, 2005. ,
A Taxonomy of Faults for UML Designs. Model Design and Validation (MoDeVa) workshop held in conjunction with MODELS, UML 2005 conference, 2005. ,
Exploring the Relationship between Model Composition and Model Transformation Aspect Oriented Modeling (AOM) workshop held in conjunction with MODELS, UML 2005 conference, 2005. ,
Model Composition -A Signature-Based Approach Aspect Oriented Modeling (AOM) workshop held in conjunction with MODELS, UML 2005 conference, 2005. ,
MDE and validation : Testing model transformation, Procedings of the SIVOES-Modeva workshop, 2004. ,
Yves Le Traon and Jean-Marc Jézéquel A requirement-based approach to test product families, Proc. of the 5th workshop on Product Families Engineering (PFE-05) LNCS, 2003. ,
Computational intelligence for testing .net components, Proceedings of Microsoft Summer Research Workshop, 2002. ,
Une m??thode de formalisation progressive des exigences bas??e sur un mod??le simulable, Langages et Modèles à Objets : LMO'05, pp.145-158, 2005. ,
DOI : 10.3166/objet.11.1-2.145-158