[1]
H. T. Nguyen and H. D. Dang, “On Integrating Multiple Restriction Domains to Automatically Generate Test Cases of Model Transformations”,
IJCAI
, vol. 47, no. 1, Mar. 2023.