Automatic generation of test oracles: from pilot studies to application | IEEE Conference Publication | IEEE Xplore