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 January 26, 2026. https://www.informatica.si/index.php/informatica/article/view/4421.