Extracting Visual Contracts from Java Programs (T) | IEEE Conference Publication | IEEE Xplore