Khan, T., Runge, O. and Heckel, R. (2012) “Visual Contracts as Test Oracle in AGG 2.0”, Electronic Communications of the EASST, 47. doi: 10.14279/tuj.eceasst.47.728.