A Model-Driven approach for functional test case generation | Publicación