Semantic-Based Test Oracles | IEEE Conference Publication | IEEE Xplore