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

Sun, 01 Jan 2023 00:00:00 +0100

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