@techreport { 209, title = {D 3.4b - Testing Theories and Coverage Criteria (Final Version)}, year = {2011}, URL = {https://www.mogentes.eu/public/deliverables/MOGENTES_3-15_1.0r_D3.4b_TestTheories-final_main.pdf}, author = {Bernhard Aichernig and (editor)} }