@techreport { 196, title = {D 4.1 - Fault-based Test-Case Generation Methods}, year = {2008}, URL = {https://www.mogentes.eu/public/deliverables/MOGENTES_4-01_1.0r_D4.1_Fault_Based_TCG_Methods.pdf}, author = {Georg Weissenbacher and (editor)} }