1. A survey of approaches for verifying model transformations;Ab. Rahim;Softw. Syst. Model.,2015
2. Al-Sibahi, A.S., Dimovski, A.S., Wąsowski, A., 2016. Symbolic execution of high-level transformations. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering. pp. 207–220.
3. Alhwikem, F.H.M., Paige, R.F., Rose, L.M., Alexander, R.D., 2016. A systematic approach for designing mutation operators for MDE languages. In: Proceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS. pp. 54–59.
4. Automatic generation of ecore models for testing ATL transformations;Almendros-Jiménez,2016
5. Azizi, B., Zamani, B., Kolahdouz-Rahimi, S., 2017. Contract verification of ETL transformations. In: 2017 7th International Conference on Computer and Knowledge Engineering, ICCKE. pp. 154–160.