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