R. Boddu, L. Guo, and S. Mukhopadhyay, RETNA: From Requirements to Testing in Natural Way, 12th IEEE International Requirements Engineering RE 2004, 2004.

A. Cockburn, Writing Effective Use Cases, 1st edn, 2000.

E. Dustin, J. Rashka, and D. Mcdiarmid, Quality Web Systems. Performance, Security, and Usability, 2002.

M. J. Escalona, Models and Techniques for the Specification and Analysis of Navigation in Software Systems, 2004.

M. J. Escalona, J. J. Gutiérrez, D. Villadiego, A. León, and A. H. Torres, Practical Experiences in Web Engineering, 15th International Conference on Information Systems Development, 2006.

J. J. Gutiérrez, M. J. Escalona, M. Mejías, and J. Torres, Derivation of test objectives automatically, Fifteenth International Conference on Information Systems Development (ISD 2006), 2006.

J. J. Gutiérrez, M. J. Escalona, M. Mejías, and J. Torres, Jornadas sobre Ingeniería del Software y Bases de Datos JISBD, 2006.

J. J. Gutiérrez, M. J. Escalona, M. Mejías, J. Torres, and A. Torres, Generación automática de objetivos de prueba a partir de casos de uso mediante partición de categorías y variables operacionales, XIV Jornadas sobre Ingeniería del Software y Bases de Datos JISBD, 2007.

J. J. Gutiérrez, M. J. Escalona, M. Mejías, J. Torres, and A. H. Zenteno, A Case Study for Generating Test Cases from Use Cases, Research Challenges in Information Science, 2008.

B. Baudry, C. Nebut, and Y. Le-traon, Model-driven Engineering for Requirement Analysis, Enterprise Distributed Object Computing Conference, 2007.

N. Koch, G. Zhang, and M. J. Escalona, Model Transformations from Requirements to Web System Design, Webist 2006. LNBIP, vol.1, 2007.

N. Koch, Software Engineering for Adaptative Hypermedia Applications, vol.12, 2001.

C. Ben-achour, Writing and Correcting Textual Scenarios for System Design, Natural Language and Information Systems Workshop, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00707948

S. Roubtsov and P. Heck, Use Case-Based Acceptance Testing of a Large Industrial System: Approach and Experience Report, TAIC-PART, 2006.

G. Kösters, H. Six, and M. Winter, Coupling Use Cases and Class Models as a Mean for Validation and Verification of Requirements Specifications, Requirements Eng, vol.6, issue.1, pp.3-17, 2001.

T. Ziadi, L. Hélouët, and J. Jézéquel, Revisiting Statechart Synthesis with an Algebraic Approach, 26th International Conference on Software Engineering (ICSE 2004), 2004.
URL : https://hal.archives-ouvertes.fr/hal-00795027

J. M. Almendros-jiménez and L. Iribarne, Describing Use Cases with Activity Charts, MIS 2004, vol.3511, pp.141-159, 2005.

Y. Labiche and L. C. Briand, A UML-Based Approach to System Testing, Journal of Software and Systems Modelling (SoSyM), vol.1, issue.1, pp.10-42, 2002.

C. Nebut, F. Fleurey, Y. Le-traon, and J. M. Jézéquel, Automatic Test Generation: A Use Case Driven Approach, IEEE Transactions on Software Engineering, vol.32, issue.3, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-00102747

P. Fröhlich and J. Link, Automated Test Case Generation from Dynamic Models, ECOOP 2000, vol.1850, pp.472-491, 2000.

, Object Management Group. The UML Superstructure, 2007.

I. Jacobson, G. Booch, and J. Rumbaugh, The Unified Software Development Process, USA. Object Technology, 1999.

D. F. D'souza and A. C. Wills, Objects, Components, and Frameworks with UML: The Catalysis(SM) Approach, USA, 1998.

J. Hartmann, M. Vieira, H. Foster, and A. Ruder, TDE/UML: A UML-based Test Generator to Support System Testing, 5th Annual International Software Testing Conference, 2005.

, Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Final Adopted Specification, 2007.