Fundamentals of software engineering
Fundamentals of software engineering
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models
Proceedings of the 17th IEEE international conference on Automated software engineering
A Tool-Supported Approach to Testing UML Design Models
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Generating instance models from meta models
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Combining Quality Assurance and Model Transformations in Business-Driven Development
Applications of Graph Transformations with Industrial Relevance
Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach
Science of Computer Programming
Sequence diagram to colored Petri nets transformation testing: an immune system metaphor
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Example-based model-transformation testing
Automated Software Engineering
Estimating footprints of model operations
Proceedings of the 33rd International Conference on Software Engineering
Tractable model transformation testing
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Model transformations for migrating legacy models: an industrial case study
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Specification-Driven test generation for model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Automatic conformance testing of optimized triple graph grammar implementations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
ATLTest: a white-box test generation approach for ATL transformations
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Automated verification of model transformations based on visual contracts
Automated Software Engineering
Model transformation testing: the state of the art
Proceedings of the First Workshop on the Analysis of Model Transformations
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
Validation of model transformations is important for ensuring their quality. Successful validation must take into account the characteristics of model transformations and develop a suitable fault model on which test case generation can be based. In this paper, we report our experiences in validating a number of model transformations and propose three techniques that can be used for constructing test cases.