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