Inferring visual contracts from Java programs

Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer. Inferring visual contracts from Java programs. Automated Software Engineering, 25(4):745-784, 2018. [doi]

Abstract

Abstract is missing.