Nguyen, Hanh Thi, and Hanh Duc Dang. “On Integrating Multiple Restriction Domains to Automatically Generate Test Cases of Model Transformations”. Informatica, vol. 47, no. 1, Mar. 2023, doi:10.31449/inf.v47i1.4421.