On integrating multiple restriction domains to automatically generate test cases of model transformations

URN:NBN:SI:DOC-ARH7JY1A2023Dang, Duc-HanhNguyen, Hanh Thi Haidocuments/doc/A/URN_NBN_SI_doc-ARH7JY1A_001.pdfdocuments/doc/A/URN_NBN_SI_doc-ARH7JY1A_001.txt147articlestr. 21-410350-559610.31449/inf.v47i1.4421196078851URN:NBN:SI:doc-ARH7JY1AengSlovene Society InformatikaInformatica (Ljubljana)BYmetodemulti-modalne omejitvepreverjanje programske kodetransformacijsko testiranjeumetna inteligencaOn integrating multiple restriction domains to automatically generate test cases of model transformations