Showing 2026Show all
3 papers · 1 filter
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.SE2026
Combined Program Analysis Techniques: A Systematic Mapping Study
Pietro Braione, Giovanni Denaro, Luca Gugliemo +3
Context. Since the eighties, the combination of program analysis techniques has been increasingly recognized as a promising approach to overcome the limitations of standalone metho…
cs.CL2026
Hylog: A Hybrid Approach to Logging Text Production in Non-alphabetic Scripts
Roberto Crotti, Giovanni Denaro, Zhiqiang Du +1
Research keyloggers are essential for cognitive studies of text production, yet most fail to capture the on-screen transformations performed by Input Method Editors (IMEs) for non-…