Automated model-based testing using the UML testing profile and QVT. - Beatriz Pérez Lamancha; Pedro Reales Mateo; Ignacio Garíía Rodríguez de Guzmán; Macario Polo Usaola; Mario Piattini Velthuis (MoDeVVa@MoDELS, 2009)