A. Alshanqiti, R. Heckel, and T. Kehrer, Inferring visual contracts from Java programs, Automated Software Engineering