NGUYEN, Hanh Thi; DANG, Hanh Duc. On Integrating Multiple Restriction Domains to Automatically Generate Test Cases of Model Transformations. Informatica, [S. l.], v. 47, n. 1, 2023. DOI: 10.31449/inf.v47i1.4421. Disponível em: https://puffbird.ijs.si/index.php/informatica/article/view/4421. Acesso em: 23 jun. 2025.