10 Georg Weissenbacher (editor) 2008 D 4.1 - Fault-based Test-Case Generation Methods https://www.mogentes.eu/public/deliverables/MOGENTES_4-01_1.0r_D4.1_Fault_Based_TCG_Methods.pdf