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