2 papers
cs.SE2026
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…
cs.SE2025
Automated Test Generation from Program Documentation Encoded in Code Comments
Giovanni Denaro, Luca Guglielmo
Documenting the functionality of software units with code comments, e.g., Javadoc comments, is a common programmer best-practice in software engineering. This paper introduces a no…