Validation in model-driven engineering: testing model transformations

No abstract is available for this paper.

• Publication year

  2004

• Venue

  Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004.

• Publication date

  Unknown publication date

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/MODEVA.2004.1425846
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Test adequacy criteria for UML design models

  2003influential reference
• A Case for Test-Code Generation in Model-Driven Systems

  2003influential reference
• Model Driven Architecture: Three Years On

  2003cited by this paper
• Model transformation: a declarative, reusable patterns approach

  2003cited by this paper
• Towards Model-Driven Testing

  2003cited by this paper
• Built-in Contract Testing in Model-driven , Component-Based Development

  2002cited by this paper
• Transformation: The Missing Link of MDA

  2002cited by this paper
• A Relational Approach to Defining Transformations in a Metamodel

  2002cited by this paper
• Automatic test case optimization using a bacteriological adaptation model: application to .NET components

  2002cited by this paper
• Genes and bacteria for automatic test cases optimization in the .NET environment

  2002cited by this paper
• OCL as a Core UML Transformation Language WITUML 2002 – Position Paper

  2002cited by this paper
• Model-Driven Architecture

  2002cited by this paper
• The Object Constraint Language (OCL)

  2002influential reference
• Reliable Objects : Lightweight Testing for OO Languages

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

  1999cited by this paper
• The category-partition method for specifying and generating functional tests

  1988influential reference

• Model transformation and property preservation in rigorous software development: A systematic literature review

  2025cites this paper
• Managing Model Transformations Complexity in Blended Modeling Environments using Explainable Artificial Intelligence

  2025cites this paper
• Graph Solver as a Service

  2023cites this paper
• Ant-colony optimization for automating test model generation in model transformation testing

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

  2021cites this paper
• Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation

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

  2021cites this paper
• A Framework for the Regression Testing of Model-to-Model Transformations

  2021cites this paper
• Model-Driven Testing in Umple

  2020cites this paper
• MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools

  2020cites this paper
• Utilizing Automatic Query Reformulations as Genetic Operations to Improve Feature Location in Software Models

  2020cites this paper
• Authoring Models of Regulations

  2020cites this paper
• Systematic Engineering of Mutation Operators

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

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

  2020cites this paper
• Characterizing Black-box Composition Operators via Generated Tailored Benchmarks

  2020cites this paper
• Union Models: Support of Variability Modeling and Efficient Reasoning About Model Families Over Space and Time

  2020cites this paper
• Generating Large EMF Models Efficiently

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

  2020cites this paper
• Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers

  2019cites this paper
• Inferring Metamodel Relaxations Based on Structural Patterns to Support Model Families

  2019cites this paper
• Developing a model-driven reengineering approach for migrating PL/SQL triggers to Java: A practical experience

  2019cites this paper
• Model-driven approaches to analysing time- and location-dependent access control specifications

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

  2018influential citation
• A Graph Solver for the Automated Generation of Consistent Domain-Specific Models

  2018cites this paper
• Survey and classification of model transformation tools

  2018cites this paper
• Balancing Model Usability and Verifiability with SBVR and Answer Set Programming

  2018cites this paper
• On the Use of Alloy in Engineering Domain Specific Modeling Languages

  2017cites this paper
• Evaluating the Usability of Model Transformations Testing Approach (MTTA)

  2017influential citation
• Case Study of Test Case Generation Based on Metamodel for Model Transformations

  2017cites this paper
• Building the foundations for 'MDE as Service'

  2017cites this paper
• A survey on search-based model-driven engineering

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

  2016cites this paper
• DEPROVAL: Tool for defining the validation process in small software organizations

  2016cites this paper
• XaaS Multi-Cloud Marketplace Architecture Enacting the Industry 4.0 Concepts

  2016cites this paper
• Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers

  2016cites this paper
• Iterative and Incremental Model Generation by Logic Solvers

  2016cites this paper
• Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering

  2016cites this paper
• Program Analysis Techniqes for Model eries and Transformations

  2016cites this paper
• Qualification of source code generators in the avionics domain : automated testing of model transformation chains. (Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles)

  2015cites this paper
• Testing M2T Transformations - A Systematic Literature Review

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

  2015influential citation
• Model transformations for migrating legacy deployment models in the automotive industry

  2015cites this paper
• Localized model transformations for building large-scale transformations

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

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

  2015influential citation
• A model-driven approach for usability engineering of interactive systems

  2015cites this paper
• A Model-Driven Process for Physical Protection System Design and Vulnerability Evaluation

  2015cites this paper
• Statistical analysis and simulation of design models evolution

  2015influential citation
• Many-Objective Software Engineering using Preference-based Evolutionary Algorithms : A Case Study in Software Refactoring

  2015cites this paper
• Incorporating usability requirements into model transformation technologies

  2015cites this paper
• Comparison and Evaluation of Model Transformation Tools

  2015cites this paper
• Towards an automation of the mutation analysis dedicated to model transformation

  2015cites this paper
• Towards systematic mutations for and with ATL model transformations

  2015cites this paper
• Testing MOFScript Transformations with HandyMOF

  2014cites this paper
• Extending JUnit 4 with Java annotations and reflection to test variant model transformation assets

  2014cites this paper
• Towards Model-Driven V&V assessment of railway control systems

  2014cites this paper
• Supporting large scale model transformation reuse

  2014cites this paper
• A Marketplace Broker for Platform-as-a-Service Portability

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

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

  2014influential citation
• Pragmatic model verification

  2014influential citation
• Transformation of Platform-Independent Model into Platform-Specific Model in Model-Driven Architecture

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

  2014cites this paper
• A Method for Testing Model to Text Transformations

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

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

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

  2013cites this paper
• A Model-Driven Approach to Quantitative Analysis of Critical Systems

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

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

  2013cites this paper
• Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project

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

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

  2013cites this paper
• Towards automated model driven development with model transformation and domain specific languages

  2013cites this paper
• Towards Automated Model Driven Development withModel Transformation Methods and Testing

  2013cites this paper
• Preference-based multi-objective software modelling

  2013cites this paper
• Search-Based Model-Driven Engineering

  2013cites this paper
• A novel representation for search-based model-driven engineering

  2013influential citation
• Enabling the usage of UML in the verification of railway systems: The DAM-rail approach

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

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

  2013influential citation
• Modeling, Analysis and Simulation of Ubiquitous Systems Using a MDE Approach

  2012cites this paper
• Sensitivity analysis in model-driven engineering

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

  2012influential citation
• Analysis of Model Transformations

  2012influential citation
• Model transformation dependability evaluation by the automated creation of model generators

  2012influential citation
• Model transformation testing: the state of the art

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

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

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

  2011influential citation
• Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations

  2011cites this paper
• Processus de développement de système contraint par l'urbanisation d'un système d'information

  2011cites this paper
• Model Transformation in Web Engineering and Automated Model Driven Development

  2011cites this paper
• Using Traceability to Enhance Mutation Analysis Dedicated to Model Transformation

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

  2010cites this paper
• Modeling and analysing ubiquitous systems

  2010influential citation
• Traceability for Mutation Analysis in Model Transformation

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

  2010influential citation
• DEVANT L'UNIVERSITE DE RENNES 1

  2010cites this paper