2 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.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…