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