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