Automatic Generation of Test Models for Model Transformations

No abstract is available for this paper.

• Publication year

  2008

• Venue

  Australian Software Engineering Conference

• Publication date

  2008-03-26

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/ASWEC.2008.42
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Towards Automated, Formal Verification of Model Transformations

  2010cited by this paper
• Software Testing Techniques

  2007cited by this paper
• Verifying metamodel coverage of model transformations

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

  2006cited by this paper
• A Testing Framework for Model Transformations

  2005cited by this paper
• Systematic Validation of Model Transformations

  2004cited by this paper
• Validation in model-driven engineering: testing model transformations

  2004influential reference
• Eclipse Modeling Framework

  2003cited by this paper
• Eclipse Modeling Framework

  2003cited by this paper
• Test adequacy criteria for UML design models

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

  2002cited by this paper
• The Combinatorial Design Approach to Automatic Test Generation

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

  1988cited by this paper
• Proceedings of the 33rd Hawaii International Conference on System Sciences- 2000 Development and Initial Testing of a Theoretical Model of Transformation

  year unknowncited by this paper

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

  2025cites this paper
• An automated search‐based test model generation approach for structural testing of model transformations

  2022cites 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
• MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools

  2020cites this paper
• End-to-end model-transformation comprehension through fine-grained traceability information

  2019cites this paper
• Test Model Generation Using Equivalence Partitioning

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

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

  2015influential citation
• A survey of approaches for verifying model transformations

  2015cites this paper
• Applying Black-Box Testing to Model Transformations in the Model Driven Architecture Context

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

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

  2014cites this paper
• Pragmatic model verification

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

  2013cites this paper
• A feature-oriented approach to platform-specific modelling of coarse-grained components

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

  2012cites this paper
• 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
• MANTra: Towards Model Transformation Testing

  2010cites this paper
• Automated Test Input Generation for Software That Consumes ORM Models

  2009cites this paper
• An Automatic Generation Method of Executable Test Case Using Model-Driven Architecture

  2009cites this paper