Heckel, R.; Khan, T.; Machado, R. Towards Test Coverage Criteria for Visual Contracts. eceasst 2011, 41.