A class abstraction technique to support the analysis of Java programs during testing | IEEE Conference Publication | IEEE Xplore