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