“On Integrating Multiple Restriction Domains to Automatically Generate Test Cases of Model Transformations”. Informatica 47, no. 1 (March 29, 2023). Accessed June 25, 2026. https://www.informatica.si/index.php/informatica/article/view/4421.