On integrating multiple restriction domains to automatically generate test cases of model transformations - Nguyen, Hanh Thi Hai (Informatica (Ljubljana), 2023)
Keywords: metode; multi-modalne omejitve; preverjanje programske kode; transformacijsko testiranje; umetna inteligenca