Alshanqiti, A.; Heckel, R. Towards Dynamic Reverse Engineering Visual Contracts from Java. ECEASST 2014, 67.