Khan, T.; Runge, O.; Heckel, R. Visual Contracts As Test Oracle in AGG 2.0. ECEASST 2012, 47.