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