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