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