An interactive visualization environment for exploring Java programs: SHriMP views revisited | IEEE Conference Publication | IEEE Xplore