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