Combining Dynamic Symbolic Execution, Machine Learning and Search-Based Testing to Automatically Generate Test Cases for Classes. - Matteo Modonato (CoRR, 2020)

Automated Test Case Generation for Safety-Critical Software in Scade. - Elson Kurian; Pietro Braione; Daniela Briola; Dario D'Avino; Matteo Modonato; Giovanni Denaro (ICSE-SEIP, 2023)