Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
The Art of Software Testing
Test Case Generation by OCL Mutation and Constraint Solving
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Towards an automated test generation for the verification of model transformations
Proceedings of the 2007 ACM symposium on Applied computing
IEEE Transactions on Software Engineering
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Quality of Automatically Generated Test Cases based on OCL Expressions
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Automatic Generation of Test Models for Model Transformations
ASWEC '08 Proceedings of the 19th Australian Conference on Software Engineering
Automatic Model Generation Strategies for Model Transformation Testing
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Barriers to systematic model transformation testing
Communications of the ACM
Validation of model transformations: first experiences using a white box approach
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
A constructive approach to testing model transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
A specification-based test case generation method for UML/OCL
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Tractable model transformation testing
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Specification-Driven test generation for model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
| Hi-index | 0.00 |
MDE is being applied to the development of increasingly complex systems that require larger model transformations. Given that the specification of such transformations is an error-prone task, techniques to guarantee their quality must be provided. Testing is a well-known technique for finding errors in programs. In this sense, adoption of testing techniques in the model transformation domain would be helpful to improve their quality. So far, testing of model transformations has focused on black-box testing techniques. Instead, in this paper we provide a white-box test model generation approach for ATL model transformations.