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