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.