On Integrating Multiple Restriction Domains to Automatically Generate Test Cases of Model Transformations. INF. 2023;47(1). doi:10.31449/inf.v47i1.4421