Automatically generating test cases for safety-critical software via symbolic execution. - Kurian, Elson; Briola, Daniela; Braione, Pietro; Denaro, Giovanni (Journal of Systems & Software, 2023)