Runge, O., Khan, T. and Heckel, R. (2013) “Test Case Generation Using Visual Contracts”, Electronic Communications of the EASST, 58. doi: 10.14279/tuj.eceasst.58.847.