Heckel, R., Khan, T., & Machado, R. (2011). Towards Test Coverage Criteria for Visual Contracts. Electronic Communications of the EASST, 41. https://doi.org/10.14279/tuj.eceasst.41.667