Automated generation of test oracles using a model-driven approach | Publicación