Barriers to Systematic Model Transformation Testing
Model Driven Engineering (MDE) techniques support extensive use of models in order to manage the increasing complexity of software systems. Automatic model transformations play a critical role in MDE since they automate complex, tedious, error-prone, and recurrent software development tasks.