O. Runge, T. Khan, and R. Heckel, “Test Case Generation Using Visual Contracts”, ECEASST, vol. 58, Jul. 2013.