Alshanqiti, A. and Heckel, R. (2014) “Towards Dynamic Reverse Engineering Visual Contracts from Java”, Electronic Communications of the EASST, 67. doi: 10.14279/tuj.eceasst.67.940.