10 Bernhard Aichernig (editor) 2011 D 3.4b - Testing Theories and Coverage Criteria (Final Version) https://www.mogentes.eu/public/deliverables/MOGENTES_3-15_1.0r_D3.4b_TestTheories-final_main.pdf