A Testing Framework for Model Transformations

No abstract is available for this paper.

• Publication year

  2005

• Venue

  Model-Driven Software Development

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-28554-7_10
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Systematic Look at Model Transformations

  2005cited by this paper
• Generic and Meta-transformations for Model Transformation Engineering

  2004cited by this paper
• Composition and cloning in modeling and meta-modeling

  2004influential reference
• Test Driven Development of UML Models with SMART Modeling System

  2004cited by this paper
• Intents, Upgrades and Assurance in Model-Based Development

  2004cited by this paper
• An Approach for Supporting Aspect-Oriented Domain Modeling

  2003cited by this paper
• Cadena: an integrated development, analysis, and verification environment for component-based systems

  2003cited by this paper
• CheckVML: A Tool for Model Checking Visual Modeling Languages

  2003cited by this paper
• Differences between versions of UML diagrams

  2003cited by this paper
• X-Diff: an effective change detection algorithm for XML documents

  2003cited by this paper
• Reflective Model Driven Engineering

  2003cited by this paper
• Difference and Union of Models

  2003influential reference
• Classification of Model Transformation Approaches

  2003cited by this paper
• Model Driven Architecture: Applying MDA to Enterprise Computing

  2003cited by this paper
• An end-to-end domain-driven software development framework

  2003cited by this paper
• Generative programming for embedded systems

  2002cited by this paper
• Designing the automatic transformation of visual languages

  2002cited by this paper
• Verification and validation: automated object-flow testing of dynamic process interaction models

  2001cited by this paper
• Composing Domain-Specific Design Environments

  2001cited by this paper
• Getting started with ASPECTJ

  2001cited by this paper
• Handling crosscutting constraints in domain-specific modeling

  2001influential reference
• Specification, Implementation, and Validation of Object-Oriented Embedded Systems

  2000cited by this paper
• Testing object-oriented systems

  2000cited by this paper
• Testing: a roadmap

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

  1999cited by this paper
• Classical and Object Oriented Software Engineering

  1999cited by this paper
• Holzmann의 ˝The Model Checker SPIN˝에 대하여

  1998cited by this paper
• The Model Checker SPIN

  1997cited by this paper
• Software unit test coverage and adequacy

  1997cited by this paper
• Getting Started with CGAL

  1997cited by this paper
• Change detection in hierarchically structured information

  1996cited by this paper
• Graph and network algorithms

  1996cited by this paper
• Testing: principles and practice

  1996cited by this paper

• Model Transformation Testing and Debugging: A Survey

  2022cites this paper
• Verification Approach for Refactoring Transformation Rules of State-Based Models

  2021cites this paper
• Methodology for Evaluating a Domain-Specific Model Transformation Language

  2021cites this paper
• Multi-criteria test cases selection for model transformations

  2020cites this paper
• Applying graph kernels to model-driven engineering problems

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

  2018cites this paper
• Testing bidirectional model transformation using metamorphic testing

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

  2017cites this paper
• Model-based Regression Testing of Evolving Software Systems

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

  2016cites this paper
• An OCL-Based Framework for Model Transformations

  2016cites this paper
• A Multi-Level Framework for the Detection, Prioritization and Testing of Software Design Defects

  2016cites this paper
• Assessing and improving quality of QVTo model transformations

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

  2015cites this paper
• Static Fault Localization in Model Transformations

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

  2015influential citation
• Model transformation testing: a bi‐level search‐based software engineering approach

  2015cites this paper
• Specification-driven model transformation testing

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

  2014cites this paper
• Definition of a type system for generic and reflective graph transformations

  2014cites this paper
• From AADL to Timed Abstract State Machines: A verified model transformation

  2014cites this paper
• Pragmatic model verification

  2014cites this paper
• Un îlot formel pour les transformations de modèles qualifiables. (A formal Island for qualifiable model transformations)

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

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

  2013cites this paper
• Testing M2T/T2M Transformations

  2013cites this paper
• Testing operational transformations in model-driven engineering

  2013cites this paper
• Application of Model Comparison Techniques to Model Transformation Testing

  2013cites this paper
• Applying Model Differences to Automate Performance-Driven Refactoring of Software Models

  2013cites this paper
• Efficient probabilistic testing of model transformations using search

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

  2013cites this paper
• RESEARCH ON DISTRIBUTED SOFTWARE TESTING PLATFORM BASED ON CLOUD RESOURCE

  2013cites this paper
• Integrating Coverage Analysis into Test-driven Development of Model Transformations

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

  2013cites this paper
• A Traceability-Driven Approach to Model Transformation Testing

  2013cites this paper
• A comparative study of model transformation approaches through a systematic procedural framework and goal question metrics paradigm

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

  2013cites this paper
• Partial Test Oracle in Model Transformation Testing

  2013cites this paper
• Formal Specification and Testing of Model Transformations

  2012cites this paper
• An Approach for Quality Assurance of Model Transformations

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

  2012cites this paper
• Early experiences on model transformation testing

  2012cites this paper
• Formal Methods for Model-Driven Engineering

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

  2012cites this paper
• Debugging Model-to-Model Transformations

  2012cites this paper
• Towards tracking "guilty" transformation rules: a requirements perspective

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

  2012cites this paper
• Analysis of Model Transformations

  2012influential citation
• Ingenier´õa Dirigida por Modelos y Calidad de Software

  2012cites this paper
• Challenges and directions in formalizing the semantics of modeling languages

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

  2011cites this paper
• Static Type Checking of Model Transformation Programs

  2011cites this paper
• Establishing and maintaining semantically rich traceability : a metamodelling aproach

  2011cites this paper
• EUnit: a unit testing framework for model management tasks

  2011cites this paper
• Towards Incorporation of Software Security Testing Framework in Software Development

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

  2011influential citation
• Using Model Driven Engineering toReliably Automate the Measurementof Object-Oriented Software

  2011cites this paper
• Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies

  2010cites this paper
• MANTra: Towards Model Transformation Testing

  2010cites this paper
• Static Type Checking of Model Transformation Programs

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

  2010influential citation
• Transformation by example

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

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

  2009cites this paper
• M2DAT: a Technical Solution for Model-Driven Development of Web Information Systems

  2009cites this paper
• A Framework for Testing Model Composition Engines

  2009cites this paper
• Safety of Compilers and Translation Techniques Status quo of Technology and Science

  2008cites this paper
• An extensible platform for specification of integrated languages for model management

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

  2008cites this paper
• Migrating legacy video lectures to multimedia learning objects

  2008cites this paper
• Constructing Models with the Human-Usable Textual Notation

  2008cites this paper
• Automatic Generation of Test Models for Model Transformations

  2008cites this paper
• An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations

  2008cites this paper
• Unit Testing Model Management Operations

  2008cites this paper
• DSMDiff: a differentiation tool for domain-specific models

  2007cites this paper
• A Methodological Approach to Developing Model Transformations

  2007cites this paper
• Requirements traceability in model-driven development: Applying model and transformation conformance

  2007cites this paper
• Merging models with the epsilon merging language (EML)

  2006cites this paper
• Model comparison: a foundation for model composition and model transformation testing

  2006cites this paper
• Mutation Analysis Testing for Model Transformations

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

  2006cites this paper
• Reusable MDA components: a testing-for-trust approach

  2006cites this paper
• Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool

  2006influential citation
• Langage et méthode pour une ingénierie des modèles fiable

  2006cites this paper
• A model-driven approach to enforce crosscutting assertion checking

  2005cites this paper
• Le test de transformations de modèles : automatisation de l'oracle

  2005cites this paper
• Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine

  2005cites this paper
• Replicators: transformations to address model scalability

  2005cites this paper
• Methodological Framework for Freeband Services Development

  2005cites this paper
• A model transformation approach to automatic model construction and evolution

  2005influential citation
• Génération automatique de tests pour les transformations de modèles.

  2005cites this paper
• Model Comparison : A Key Challenge for Transformation Testing and Version Control in Model Driven Software Development

  2004cites this paper