F. Basanieri, A. Bertolino, and E. Marchetti, The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects, UML 2002 -The Unified Modeling Language. Model Engineering, Languages, Concepts, and Tools. 5th International Conference Proceedings, volume 2460 of LNCS, pp.383-397, 2002.
DOI : 10.1007/3-540-45800-X_30

R. Boddu, L. Guo, S. Mukhopadhyay, and B. Cukic, RETNA: from requirements to testing in a natural way, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004., pp.262-271, 2004.
DOI : 10.1109/ICRE.2004.1335683

J. Bodeveix and M. Filali, FMona: A Tool for Expressing Validation Techniques over Infinite State Systems, Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, pp.204-219, 2000.
DOI : 10.1007/3-540-46419-0_15

L. Briand and Y. Labiche, A UML-based approach to system testing, Journal of Software and Systems Modeling, pp.10-42, 2002.

F. Budinsky, T. Grose, D. Steinberg, R. Ellersick, E. Merks et al., Eclipse Modeling Framework: a developer's guide, 2003.

C. Denger, D. M. Berry, and E. Kamsties, Higher quality requirements specifications through natural language patterns, Proceedings 2003 Symposium on Security and Privacy, p.80, 2003.
DOI : 10.1109/SWSTE.2003.1245428

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, pp.411-420, 1999.

G. Holzmann, The model checker SPIN, IEEE TSE, pp.279-294, 1997.
DOI : 10.1109/32.588521

. Kermeta, The kermeta project home page, 2005.

S. Konrad and B. H. Cheng, Automated Analysis of Natural Language Properties for UML Models, MoD- eVa'05 (Model Design and Validation Workshop associated to MoDELS'05), 2005.
DOI : 10.1007/11663430_6

D. Lugato, F. Maraux, Y. Le-traon, C. Nebut, V. Normand et al., Automated functionnal test case synthesis from thales industrial requirements, RTAS'04, 2004.
DOI : 10.1109/rttas.2004.1317254

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, MoD- ELS'05, pp.264-278, 2005.
DOI : 10.1007/11557432_19

URL : https://hal.archives-ouvertes.fr/hal-00795095

C. Nebut, F. Fleurey, Y. L. Traon, and J. Jézéquel, Automatic test generation: a use case driven approach, IEEE Transactions on Software Engineering, vol.32, issue.3, 2003.
DOI : 10.1109/TSE.2006.22

URL : https://hal.archives-ouvertes.fr/lirmm-00102747

R. L. Smith, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil, PROPEL, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.11-21, 2002.
DOI : 10.1145/581339.581345

. Sommerville, Integrated requirements engineering: a tutorial, IEEE Software, vol.22, issue.1, pp.16-23, 2005.
DOI : 10.1109/MS.2005.13