Validation of model transformations: first experiences using a white box approach

No abstract is available for this paper.

• Publication year

  2006

• Venue

  ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

• Publication date

  2006-10-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-540-69489-2_24
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Role of Visual Modeling and Model Transformations in Business-driven Development

  2008cited by this paper
• Towards Testing the Implementation of Graph Transformations

  2008cited by this paper
• Business process normalization using model transformation

  2007cited by this paper
• Model Transformation Testing Challenges

  2006cited by this paper
• Generating instance models from meta models

  2006cited by this paper
• Mutation Analysis Testing for Model Transformations

  2006cited by this paper
• Research Report A Systematic Approach to Designing Model Transformations

  2006cited by this paper
• Satellite Events at the MoDELS 2005 Conference.

  2006cited by this paper
• A taxonomy of model-based testing

  2006cited by this paper
• Satellite Events at the MoDELS 2005 Conference

  2006cited by this paper
• Definition and validation of model transformations

  2006cited by this paper
• Transforming Models with ATL

  2005cited by this paper
• Refactoring OCL annotated UML class diagrams

  2005cited by this paper
• A tool-supported approach to testing UML design models

  2005cited by this paper
• Compiling Process Graphs into Executable Code

  2004cited by this paper
• Towards Model-Driven Testing

  2003cited by this paper
• On the Use of Graph Transformation in the Formal Specification of Model Interpreters

  2003cited by this paper
• BOTL - The Bidirectional Object Oriented Transformation Language

  2003cited by this paper
• VIATRA - visual automated transformations for formal verification and validation of UML models

  2002cited by this paper
• What Is the Rational Unified Process ?

  2001cited by this paper
• Testing Object-Oriented Systems: Models, Patterns, and Tools

  1999cited by this paper
• Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution

  1999cited by this paper
• Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach

  1997cited by this paper

• An automated search‐based test model generation approach for structural testing of model transformations

  2022cites this paper
• Working Toward a White Box Approach Transforming Complex Legacy Enterprise Applications

  2022cites this paper
• Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles

  2020cites this paper
• Towards Interactive, Test-driven Development of Model Transformations

  2020cites this paper
• Knowledge Life Cycle Management as a Key Aspect of Digitalization

  2019cites this paper
• A novel approach to mutation operator design for MDE languages

  2019cites this paper
• Design and validation of a C++ code generator from Abstract State Machines specifications

  2019cites this paper
• Improving cloud architectures using UML profiles and M2T transformation techniques

  2019cites this paper
• Automated Formal Verification of Model Transformations Using the Invariants Mechanism

  2019cites this paper
• On Analyzing Rule-Dependencies to Generate Test Cases for Model Transformations

  2019cites this paper
• Evaluation of Test Case Generation based on a Software Product Line for Model Transformation

  2018influential citation
• Transforming Mathematical Model into Agent-Oriented Model and Simulation Through Requirement Engineering: A Preliminary Result

  2018cites this paper
• Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

  2018cites this paper
• Automated inference of likely metamorphic relations for model transformations

  2018cites this paper
• Validation of Transformation from Abstract State Machine Models to C++ Code

  2018cites this paper
• A pattern-based approach to extract REA value models from business process models

  2017cites this paper
• Case Study of Test Case Generation Based on Metamodel for Model Transformations

  2017influential citation
• Static Analysis of Model Transformations

  2017cites this paper
• On the Automated Derivation of Domain-Specific UML Profiles

  2017cites this paper
• On the Quality Properties of Model Transformations: Performance and Correctness

  2016cites this paper
• Metamodelisation to support Test and Evolution

  2016cites this paper
• Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned

  2016cites this paper
• Formal Verification of Graph-Based Model Transformations

  2015influential citation
• Formal validation of model transformation with Coq proof assistant

  2015cites this paper
• A survey of approaches for verifying model transformations

  2015cites this paper
• Static Fault Localization in Model Transformations

  2015cites this paper
• Model transformations for migrating legacy deployment models in the automotive industry

  2015cites this paper
• Model transformation testing: a bi‐level search‐based software engineering approach

  2015cites this paper
• Specification-driven model transformation testing

  2015cites this paper
• Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving

  2014cites this paper
• Testing MOFScript Transformations with HandyMOF

  2014cites this paper
• Oracles du test de transformations de modèles

  2014cites this paper
• Heterogeneous verification of model transformations

  2014cites this paper
• Pragmatic model verification

  2014cites this paper
• Test Data Generation for Model Transformations Combining Partition and Constraint Analysis

  2014cites this paper
• Maintainability of transformations in evolving mde ecosystems

  2014cites this paper
• Value-Chain Discovery from Business Process Models

  2014cites this paper
• A Search Based Test Data Generation Approach for Model Transformations

  2014cites this paper
• Mutation Operators for the Atlas Transformation Language

  2013cites this paper
• Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations

  2013cites this paper
• Automated verification of model transformations based on visual contracts

  2013cites this paper
• Test Cases Generation for Model Transformations from Structural Information

  2013cites this paper
• Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns

  2013cites this paper
• Towards automated formal analysis of model transformation specifications

  2013cites this paper
• TETRABox - A Generic White-Box Testing Framework for Model Transformations

  2013cites this paper
• Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS

  2013cites this paper
• Verification of Model Transformations: A Survey of the State-of-the-Art

  2013cites this paper
• Coordination Issues in Artifact-Centric Business Process Models

  2013cites this paper
• Regression Testing for Model Transformations: A Multi-objective Approach

  2013cites this paper
• Rule Chains Coverage for Testing QVT-Relations Transformations

  2013influential citation
• A comparative study of model transformation approaches through a systematic procedural framework and goal question metrics paradigm

  2013cites this paper
• Model transformation dependability evaluation by the automated creation of model generators

  2012cites this paper
• Analysis of Model Transformations

  2012influential citation
• ATLTest: a white-box test generation approach for ATL transformations

  2012cites this paper
• Contribution à la Spécification et à la Vérification des Exigences Temporelles : Proposition d’une extension des SRS d’ERTMS niveau 2

  2012cites this paper
• Metamodel Instance Generation: A systematic literature review

  2012cites this paper
• Specification-Driven Test Generation for Model Transformations

  2012cites this paper
• Model transformation testing: the state of the art

  2012influential citation
• Model Transformation Co-evolution: A Semi-automatic Approach

  2012cites this paper
• Model Transformations for Migrating Legacy Models: An Industrial Case Study

  2012cites this paper
• Static Analysis of Model Transformations for Effective Test Generation

  2012cites this paper
• Electronic Communications of the EASST Volume 54 ( 2012 ) Proceedings of the 7 th International Workshop on Graph Based Tools ( GraBaTs 2012 ) Gray Box Coverage Criteria for Testing Graph Pattern Matching

  2012cites this paper
• Example-based model-transformation testing

  2011cites this paper
• Two Basic Correctness Properties for ATL Transformations: Executability and Coverage

  2011cites this paper
• Managing Artifacts with a Viewpoint-Realization Level Matrix

  2011cites this paper
• Tractable Model Transformation Testing

  2011cites this paper
• Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations

  2011cites this paper
• Using Model Driven Engineering toReliably Automate the Measurementof Object-Oriented Software

  2011cites this paper
• Transformation by example

  2010cites this paper
• Analysis and Transformation of Behavioral Models Containing Overlapped Patterns

  2010cites this paper
• Barriers to systematic model transformation testing

  2010cites this paper
• Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach

  2010cites this paper
• Construction de tests qualifiés de transformations de modèles

  2010cites this paper
• Sequence diagram to colored Petri nets transformation testing: an immune system metaphor

  2010cites this paper
• Automatic transformation from graphical process models to executable code

  2010cites this paper
• MeTAGeM: Entorno de Desarrollo de Transformaciones de Modelos Dirigido por Modelos

  2010cites this paper
• Developpement logiciel par transformation de modeles

  2010cites this paper
• Question-learn-test-feedback pattern to test emerging software construction paradigms

  2010cites this paper
• Visual Modelling and Analysis of Model Transformations based on Graph Transformation

  2009cites this paper
• Test-Driven Development of Model Transformations

  2009cites this paper
• Right or Wrong ? – Verification of Model Transformations using Colored Petri Nets

  2009cites this paper
• A Model Driven Approach for the Atomated Analysis of UML Class Diagrams

  2009influential citation
• Demystifying model transformations: an approach based on automated rule inference

  2009cites this paper
• Qualifying input test data for model transformations

  2009influential citation
• Model transformation testing: oracle issue

  2008cites this paper
• From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations

  2008cites this paper
• Combining Quality Assurance and Model Transformations in Business-Driven Development

  2008cites this paper
• On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

  2008cites this paper
• Oracles et qualification du test de transformations de modèles

  2008cites this paper
• Concerns Regarding the Adoption of the Model Driven Architecture in the Development of Safety Critical Avionics Applications

  2008influential citation
• An Embedded Domain Specific Language to Model, Transform and Quality Assure Business Processes in Business-Driven Development

  2008cites this paper
• On challenges of model transformation from UML to Alloy

  2008cites this paper
• Test de Transformation de Modèles : Expression d'Oracles

  2008cites this paper
• Towards Dependable Model Transformations: Qualifying Input Test Data

  2007influential citation
• Using Alloy for the Analysis of Model Transformations: A Case Study

  2007influential citation
• Analysis of Model Transformations via Alloy

  2007influential citation
• A model transformation approach to automated model evolution

  2007cites this paper
• Business Process Modeling and SOA : Bridging the gap

  2007cites this paper
• Report on the 3rd MoDeVa workshop: model design and validation

  2006cites this paper
• Generating instance models from meta models

  2006cites this paper