Nguyen, H.T. and Dang, H.D. 2023. On Integrating Multiple Restriction Domains to Automatically Generate Test Cases of Model Transformations. Informatica. 47, 1 (Mar. 2023). DOI:https://doi.org/10.31449/inf.v47i1.4421.