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