A. Andrews, R. France, S. Ghosh, and G. Craig, Test adequacy criteria for UML design models. Software Testing, Verification and Reliability, pp.95-127, 2003.

L. Briand and Y. Labiche, A UML-based approach to System Testing. Software and Systems Modeling, pp.10-42, 2002.

F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. Grose, Eclipse Modeling Framework . The Eclipse Series, 2003.

S. Clarke and E. Baniassad, Aspect-Oriented Analysis and Design the Theme Approach, 2005.

S. Clarke and R. J. Walker, Composition patterns: an approach to designing reusable, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, 2001.
DOI : 10.1109/ICSE.2001.919076

T. Dinh-trong, N. Kawane, S. Ghosh, R. France, and A. A. Andrews, A Tool-Supported Approach to Testing UML Design Models, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), 2005.
DOI : 10.1109/ICECCS.2005.16

A. Jackson and S. Clarke, Initial Version of Aspect-Oriented Design Approach, aosdeurope .net, Feburary, 2006.

J. Klein, L. Helouet, and J. M. Jézéquel, Semantic-based weaving of scenarios, Proceedings of the 5th international conference on Aspect-oriented software development , AOSD '06, 2006.
DOI : 10.1145/1119655.1119662

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

P. A. Muller, F. Fleurey, and J. M. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Proceedings of MODELS/UML'2005, pp.264-278, 2005.
DOI : 10.1007/11557432_19

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

P. A. Muller, F. Fleurey, D. Vojtisek, Z. Drey, D. Pollet et al., On Executable Meta-Languages applied to Model Transformations, Model Transformations In Practice Workshop, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000381

S. Pickin and J. M. Jézéquel, Using UML Sequence Diagrams as the Basis for a Formal Test Description Language, Proceedings of IFM2004 (Fourth International Conference on Integrated Formal Methods), 2004.
DOI : 10.1007/978-3-540-24756-2_26

S. Pickin, C. Jard, Y. Le-traon, T. Jéron, J. M. Jézéquel et al., System Test Synthesis from UML Models of Distributed Software, Proceedings of FORTE, 2002.
DOI : 10.1007/3-540-36135-9_7

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

R. Reddy, R. France, S. Ghosh, F. Fleurey, and B. Baudry, Model Composition -A Signature-Based Approach. Aspect Oriented Modeling (AOM) Workshop, 2005.

T. , I. Itu-ts-recommendation, and Z. , Message Sequence Chart (MSC), 1993.

D. Xu and W. Xu, State-based incremental testing of aspect-oriented programs, Proceedings of the 5th international conference on Aspect-oriented software development , AOSD '06, 2006.
DOI : 10.1145/1119655.1119680