D 4.1 - Fault-based Test-Case Generation Methods