Nguyen HT, Dang HD. On Integrating Multiple Restriction Domains to Automatically Generate Test Cases of Model Transformations. IJCAI [Internet]. 2023 Mar. 29 [cited 2025 Jun. 23];47(1). Available from: https://puffbird.ijs.si/index.php/informatica/article/view/4421