4 papers
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…
Path-optimal symbolic execution of heap-manipulating programs
Pietro Braione, Giovanni Denaro, Luca Guglielmo
Symbolic execution is at the core of many techniques for program analysis and test generation. Traditional symbolic execution of programs with numeric inputs enjoys the property of…
Measuring Software Testability via Automatically Generated Test Cases
Luca Guglielmo, Leonardo Mariani, Giovanni Denaro
Estimating software testability can crucially assist software managers to optimize test budgets and software quality. In this paper, we propose a new approach that radically differ…
Towards Evidence-based Testability Measurements
Luca Guglielmo, Andrea Riboni, Giovanni Denaro
Evaluating Software testability can assist software managers in optimizing testing budgets and identifying opportunities for refactoring. In this paper, we abandon the traditional…