TestEra: a novel framework for automated testing of Java programs | IEEE Conference Publication | IEEE Xplore