Showing 2022Show all
2 papers · 1 filter
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…
cs.SE2022
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…