TestEra: A tool for testing Java programs using alloy specifications | IEEE Conference Publication | IEEE Xplore