Khan, Tamim, Olga Runge, and Reiko Heckel. 2012. “Visual Contracts As Test Oracle in AGG 2.0”. Electronic Communications of the EASST 47 (July). https://doi.org/10.14279/tuj.eceasst.47.728.