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