Training Automated Test Oracles to Identify Semantic Bugs | IEEE Conference Publication | IEEE Xplore