Runge, O.; Khan, T.; Heckel, R. Test Case Generation Using Visual Contracts. ECEASST 2013, 58.