A Systematic Approach to Fault Injection Test Case Generation in Practice. - Tiziano Munaro; Matko Turalija; Simon Barner; Marko Halak (SEAA, 2025)