Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro. Automated Test Case Generation for Safety-Critical Software in Scade. In 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, SEIP@ICSE 2023, Melbourne, Australia, May 14-20, 2023. pages 483-494, IEEE, 2023. [doi]
Abstract is missing.