Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms | Publicación