[1]
T. Khan, O. Runge, and R. Heckel, “Visual Contracts as Test Oracle in AGG 2.0”, eceasst, vol. 47, Jul. 2012.