Mutation testing advances: an analysis and survey
Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …
Model transformation testing and debugging: A survey
Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …
manipulate and construct models. As a consequence, the correctness of software systems …
Model transformation modularization as a many-objective optimization problem
Model transformation programs are iteratively refined, restructured, and evolved due to
many reasons such as fixing bugs and adapting existing transformation rules to new …
many reasons such as fixing bugs and adapting existing transformation rules to new …
Spectrum-based fault localization in model transformations
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they
provide the essential mechanisms for manipulating and transforming models. The …
provide the essential mechanisms for manipulating and transforming models. The …
Wodel-Test: a model-based framework for language-independent mutation testing
Mutation testing (MT) targets the assessment of test cases by measuring their efficiency to
detect faults. This technique involves modifying the program under test to emulate …
detect faults. This technique involves modifying the program under test to emulate …
Automated inference of likely metamorphic relations for model transformations
Abstract Model transformations play a cornerstone role in Model-Driven Engineering (MDE)
as they provide the essential mechanisms for manipulating and transforming models …
as they provide the essential mechanisms for manipulating and transforming models …
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis
The verification of model transformations is important for realizing robust model-driven
engineering technologies and quality-assured automation. Many approaches for checking …
engineering technologies and quality-assured automation. Many approaches for checking …
Towards effective mutation testing for ATL
The correctness of model transformations is crucial to obtain high-quality solutions in model-
driven engineering. Testing is a common approach to detect errors in transformations, which …
driven engineering. Testing is a common approach to detect errors in transformations, which …
Generating efficient mutation operators for search-based model-driven engineering
D Strüber - Theory and Practice of Model Transformation: 10th …, 2017 - Springer
Software engineers are frequently faced with tasks that can be expressed as optimization
problems. To support them with automation, search-based model-driven engineering …
problems. To support them with automation, search-based model-driven engineering …
Multi-criteria test cases selection for model transformations
Abstract Model transformations play an important role in the evolution of systems in various
fields such as healthcare, automotive and aerospace industry. Thus, it is important to check …
fields such as healthcare, automotive and aerospace industry. Thus, it is important to check …