Automated Test Case Generation for Safety-Critical Software in Scade.

Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro

Browse the full ICSE paper archive.