Heckel, R. et al. 2011. Towards Test Coverage Criteria for Visual Contracts. Electronic Communications of the EASST. 41, (Oct. 2011). DOI:https://doi.org/10.14279/tuj.eceasst.41.667.