Beatriz Pérez Lamancha, Macario Polo, Danilo Caivano, Mario Piattini, Giuseppe Visaggio: Automated generation of test oracles using a model-driven approach. Inf. Softw. Technol. 55(2): 301-319 (2013)