3 papers
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.SE2024
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…
cs.SE2022
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…