Nguyen, H. T.; Dang, H. D. On Integrating Multiple Restriction Domains to Automatically Generate Test Cases of Model Transformations. IJCAI 2023, 47.