Automated harvesting of test oracles for reliability testing | IEEE Conference Publication | IEEE Xplore