10 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…
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…
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-…
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…
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…
Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution
Elson Kurian, Daniela Briola, Pietro Braione +1
Automated test generation based on symbolic execution can be beneficial for systematically testing safety-critical software, to facilitate test engineers to pursue the strict testi…
PREVENT: An Unsupervised Approach to Predict Software Failures in Production
Giovanni Denaro, Rahim Heydarov, Ali Mohebbi +1
This paper presents PREVENT, an approach for predicting and localizing failures in distributed enterprise applications by combining unsupervised techniques. Software failures can h…
On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned
Matteo Brunetto, Giovanni Denaro, Leonardo Mariani +1
The level and quality of automation dramatically affects software testing activities, determines costs and effectiveness of the testing process, and largely impacts on the quality…
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…