Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms | IEEE Conference Publication | IEEE Xplore