Extracting Contract Instances - AMahfodh/IGTRRep GitHub Wiki

Dynamic Analysis Tool for Reverse Engineering Visual Contracts from Java Applications

_to be completed .. _