Enea Raffaele Ilario Papaleo

Metamorphic Testing of Transpilers via Mutation Consistency of Programs

Enea Raffaele Ilario Papaleo, Luca Guglielmo, Giovanni Denaro

Transpilers are increasingly used for software development, especially in industrial domains that rely on domain-specific languages (DSLs), to allow engineers to work with familiar concepts and appropriate abstractions. Ensuring the correctness of these instruments is therefore c…Read more