A. Alshanqiti and R. Heckel, “Towards Dynamic Reverse Engineering Visual Contracts from Java”, eceasst, vol. 67, Aug. 2014.