R. Heckel, T. Khan, and R. Machado, “Towards Test Coverage Criteria for Visual Contracts”, eceasst, vol. 41, Oct. 2011.