Mining Test Oracles for Test Inputs Generated from Java Bytecode | IEEE Conference Publication | IEEE Xplore