Nguyen, Hanh Thi, and Hanh Duc Dang. 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.