A. D. Precce, C. Grossner, P. G. Chander, and T. Radhakrishnan, Structural validation of expert systems using a formal model, Working Notes: Workshop on VV of KBS at AAAI 93, 1993.

J. Aldrich, Open Modules: Modular Reasoning About Advice, ECOOP'05: Proceedings 19th European Conference on Object-Oriented Programming, pp.144-168, 2005.
DOI : 10.1007/11531142_7

R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, Fundamental Approaches to Software Engineering, p.21, 1998.
DOI : 10.1007/BFb0053581

J. Andersson, S. Rogerio-de-lemos, D. Malek, and . Weyns, Reflecting on self-adaptive software systems, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, pp.38-47, 2009.
DOI : 10.1109/SEAMS.2009.5069072

I. Aracic, V. Gasiunas, M. Mezini, and K. Ostermann, Overview of caesarj . Transactions on Aspect-Oriented Software Development, pp.135-173, 2006.

C. Ballagny, N. Hameurlain, and F. Barbier, MOCAS: A State-Based Component Model for Self-Adaptation, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp.206-215, 2009.
DOI : 10.1109/SASO.2009.11

URL : https://hal.archives-ouvertes.fr/tel-00472005

V. Barr, Applications of rule-base coverage measures to expert system evaluation, Journal of Knowledge-Based Systems, pp.27-35, 1998.
DOI : 10.1016/S0950-7051(99)00005-2

V. Thaìs, A. Batista, G. Joolia, and . Coulson, Managing dynamic reconfiguration in component-based systems, EWSA'05: 2nd European Workshop on Software Architecture, pp.1-17, 2005.

B. Baudry, F. Fleurey, J. Jézéquel, and Y. Le-traon, Automatic Test Case Optimization: A Bacteriologic Algorithm, IEEE Software, vol.22, issue.2, pp.76-82, 2005.
DOI : 10.1109/MS.2005.30

B. Becker, D. Beyer, H. Giese, F. Klein, and D. Schilling, Symbolic invariant verification for systems with dynamic structural adaptation, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.72-81, 2006.
DOI : 10.1145/1134285.1134297

B. Beizer, Software testing techniques, 1990.

N. Bencomo, G. Blair, G. Coulson, and T. V. Batista, Towards a Meta-Modelling Approach to Configurable Middleware, RAM-SE'05: Workshop on Reflection, AOP, and Meta-Data for Software Evolution in conjuction with ECOOP'05, pp.73-82, 2005.

N. Bencomo, Supporting the Modelling and Generation of Reflective Middleware Families and Applications using Dynamic Variability, 2008.

N. Bencomo, On the use of software models during software execution, 2009 ICSE Workshop on Modeling in Software Engineering, 2009.
DOI : 10.1109/MISE.2009.5069899

N. Bencomo and G. Blair, Using architecture models to support the generation and operation of component-based adaptive systems. Software Engineering for Self-Adaptive Systems, pp.183-200, 2009.

N. Bencomo, G. Blair, G. Coulson, P. Grace, and A. Rashid, Reflection and aspects meet again, Proceedings of the 1st workshop on Aspect oriented middleware development , AOMD '05, 2005.
DOI : 10.1145/1101560.1101567

N. Bencomo, G. Blair, R. France, F. Munoz, and C. Jeanneret, Proceedings of the models@run.time workshops, International conference on Model Driven Engineering Languages and Systems, 2007.

N. Bencomo, P. Grace, C. Flores, D. Hughes, G. Blair et al., Supporting the model driven development of reflective, component-based adaptive systems, ICSE '08: Proceedings of the 30th international conference on Software engineering, Formal Research Demonstrations Track, pp.811-814, 2008.

A. Bertolino, Software Testing Research: Achievements, Challenges, Dreams, Future of Software Engineering (FOSE '07), pp.85-103, 2007.
DOI : 10.1109/FOSE.2007.25

R. V. Binder, Testing object-oriented systems: models, patterns, and tools, 1999.

J. Bloch, A metadata facility for the java programming language Sun Microsystems, www.jcp.org, 25] Jonas Bonér and Alexandre Vasseur. Aspectwerkz, 2002.

R. H. Bordini, L. A. Dennis, B. Farwer, and M. Fisher, Automated Verification of Multi-Agent Programs, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.69-78, 2008.
DOI : 10.1109/ASE.2008.17

S. Bouchenak, N. De-palma, D. Hagimont, and C. Taton, Autonomic Management of Clustered Applications, 2006 IEEE International Conference on Cluster Computing, pp.25-28, 2006.
DOI : 10.1109/CLUSTR.2006.311842

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

S. Bouchenak, F. Boyer, D. Hagimont, S. Krakowiak, A. Mos et al., Architecture-based autonomous repair management: Application to j2ee clusters, ICAC '05: Proceedings of the Second International Conference on Automatic Computing, pp.369-370, 2005.

I. Bratko, PROLOG Programming for Artificial Intelligence, 1990.

Y. Brun, G. M. Serugendo, C. Gacek, H. Giese, H. Kienle et al., Engineering selfadaptive systems through feedback loops, pp.48-70, 2009.

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-121257, 2006.
DOI : 10.1002/spe.767

C. Renée, C. J. Bryce, and . Colbourn, Constructing interaction test suites with greedy algorithms, ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, pp.440-443, 2005.

K. Burr and W. Young, Combinatorial test techniques: Table-based automation , test generation, and code coverage, Proceedings of the Intl. Conf. on Software Testing Analysis and Review, pp.503-513, 1998.

R. Calinescu and M. Kwiatkowska, Using quantitative analysis to implement autonomic IT systems, 2009 IEEE 31st International Conference on Software Engineering, pp.100-110, 2009.
DOI : 10.1109/ICSE.2009.5070512

URL : https://hal.archives-ouvertes.fr/inria-00458053

C. Carlos, H. Øystein, Z. Xiaorui, and F. Franck, Strategies for variability transformation at runtime, SPLC'09: 13th International Software Product Line Conference, pp.61-70, 2009.

C. Cetina, J. Fons, and V. Pelechano, Applying Software Product Lines to Build Autonomic Pervasive Systems, 2008 12th International Software Product Line Conference, pp.117-126, 2008.
DOI : 10.1109/SPLC.2008.13

C. Cetina, P. Giner, J. Fons, and V. Pelechano, Autonomic Computing through Reuse of Variability Models at Runtime: The Case of Smart Homes, Computer, vol.42, issue.10, pp.37-43, 2009.
DOI : 10.1109/MC.2009.309

C. Cetina, P. Giner, J. Fons, and V. Pelechano, Using Feature Models for Developing Self-Configuring Smart Homes, 2009 Fifth International Conference on Autonomic and Autonomous Systems, pp.179-188, 2009.
DOI : 10.1109/ICAS.2009.50

F. Chauvel, O. Barais, J. M. Jézéquel, and I. Borne, A model-driven process for self-adaptive software, ERTS'08: 4th European Congress on Embedded Real Time Software, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00455764

F. Chauvel, O. Barais, I. Borne, and J. Jézéquel, Composition of Qualitative Adaptation Policies, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.455-458, 2008.
DOI : 10.1109/ASE.2008.72

URL : https://hal.archives-ouvertes.fr/inria-00477536

G. Chen and D. Kotz, A survey of context-aware mobile computing research, 2000.

B. H. Cheng, R. Lemos, H. Giese, P. Inverardi, J. Magee et al., Software Engineering for Self-Adaptive Systems: A Research Roadmap, Software Engineering for Self-Adaptive Systems, pp.1-26, 2009.
DOI : 10.1007/s11219-007-9017-4

D. Shang-wen-cheng, B. Garlan, and . Schmerl, Architecture-based selfadaptation in the presence of multiple objectives. In SEAMS '06: Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems in conjunction with ICSE'06, pp.2-8, 2006.

M. Chu, C. Murphy, and G. Kaiser, Distributed in vivo testing of software applications. Software Testing, Verification, and Validation, International Conference on, vol.0, pp.509-512, 2008.

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

P. Clements and L. Northrop, Software Product Lines: Practices and Patterns, 2001.

C. Clifton and G. T. Leavens, Observers and assistants: A proposal for modular aspect-oriented reasoning, FOAL'02: Foundations of Aspect-Oriented Languages in conjunction with AOSD-2002, pp.33-44, 2002.

D. M. Cohen, R. Siddhartha, M. L. Fredman, and G. C. Patton, The AETG system: an approach to testing based on combinatorial design, IEEE Transactions on Software Engineering, vol.23, issue.7, pp.437-444, 1997.
DOI : 10.1109/32.605761

M. B. Cohen, C. J. Colbourn, and A. C. Ling, Augmenting simulated annealing to build interaction test suites, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003., pp.394-405, 2003.
DOI : 10.1109/ISSRE.2003.1251061

M. B. Cohen, M. B. Dwyer, and J. Shi, Coverage and adequacy in software product line testing, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis , ROSATEA '06, pp.53-63, 2006.
DOI : 10.1145/1147249.1147257

M. B. Cohen, M. B. Dwyer, and J. Shi, Interaction testing of highlyconfigurable systems in the presence of constraints, ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis, pp.129-139, 2007.

M. B. Cohen, M. B. Dwyer, and J. Shi, Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach, IEEE Transactions on Software Engineering, vol.34, issue.5, pp.633-650, 2008.
DOI : 10.1109/TSE.2008.50

M. B. Cohen, P. B. Gibbons, W. B. Mugridge, and C. J. Colbourn, Constructing test suites for interaction testing, 25th International Conference on Software Engineering, 2003. Proceedings., pp.38-48, 2003.
DOI : 10.1109/ICSE.2003.1201186

M. B. Cohen, J. Snyder, and G. Rothermel, Testing across configurations, ACM SIGSOFT Software Engineering Notes, vol.31, issue.6, pp.163-59481, 2006.
DOI : 10.1145/1218776.1218785

P. Costa, G. Coulson, C. Mascolo, G. P. Picco, and S. Zachariadis, The runes middleware: A reconfigurable the runes middleware for networked embedded systems and its application in a disaster management scenario, PERCOM '07: Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications, pp.69-78, 2007.

S. Costantini, Meta-reasoning: A Survey, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pp.253-288, 2002.
DOI : 10.1007/3-540-45632-5_11

G. Coulson, G. S. Blair, M. Clark, and N. Parlavantzas, The design of a configurable and reconfigurable middleware platform, Distributed Computing, vol.15, issue.2, pp.109-126, 2002.
DOI : 10.1007/s004460100064

G. Coulson, G. S. Blair, M. Clarke, and N. Parlavantzas, The design of a configurable and reconfigurable middleware platform, Distributed Computing, pp.109-126, 2002.
DOI : 10.1007/s004460100064

N. Damianou, N. Dulay, E. Lupu, and M. Sloman, The Ponder Policy Specification Language, POLICY '01: Proceedings of the International Workshop on Policies for Distributed Systems and Networks, pp.18-38, 2001.
DOI : 10.1007/3-540-44569-2_2

B. A. Davey and H. A. Priestly, Introduction to Lattices and Order, 1990.
DOI : 10.1017/CBO9780511809088

P. David and T. Ledoux, WildCAT, Proceedings of the 3rd international workshop on Middleware for pervasive and ad-hoc computing , MPAC '05, pp.1-7, 2005.
DOI : 10.1145/1101480.1101483

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

P. David and T. Ledoux, An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components, SC'06: 5th International Symposium on Software Composition, pp.82-97, 2006.
DOI : 10.1007/11821946_6

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

P. David and T. Ledoux, Safe Dynamic Reconfigurations of Fractal Architectures with FScript, Proceeding of Fractal CBSE Workshop in conjuction with ECOOP'06, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00485549

P. David, M. Léger, H. Grall, T. Ledoux, and T. Coupaye, A multi-stage approach for reliable dynamic reconfigurations of componentbased systems, DAIS'08: 8th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, pp.106-111, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00424057

R. Davis, Meta-rules: Reasoning about control, Artificial Intelligence, vol.15, issue.3, pp.179-222, 1980.
DOI : 10.1016/0004-3702(80)90043-0

H. Dick, Software component composition: a subdomain-based testing-theory foundation. Software Testing Verification and Reliability, pp.960-0833243, 2007.

S. Dobson, S. Denazis, A. Fernández, D. Gaïti, E. Gelenbe et al., A survey of autonomic communications, ACM Transactions on Autonomous and Adaptive Systems, vol.1, issue.2, pp.223-259, 2006.
DOI : 10.1145/1186778.1186782

J. Dowling and V. Cahill, The K-Component Architecture Meta-Model for Self-Adaptive Software, REFLECTION '01: Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, pp.81-88, 2001.
DOI : 10.1007/3-540-45429-2_6

V. D. Silva, D. Kroening, and G. Weissenbacher, A Survey of Automated Techniques for Formal Software Verification, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.27, issue.7, pp.1165-1178, 2008.
DOI : 10.1109/TCAD.2008.923410

D. Dvorak, R. Rasmussen, G. Reeves, and A. Sacks, Software architecture themes in jpl's mission data system, IEEE Aerospace Conference Proceedings, pp.259-268, 2000.

F. Eliassen, G. Eli, S. W. Viktor, M. Eide, and . Andreas, Evolving self-adaptive services using planning-based reflective middleware, Proceedings of the 5th workshop on Adaptive and reflective middleware (ARM '06) , ARM '06, 2006.
DOI : 10.1145/1175855.1175856

I. Epifani, C. Ghezzi, R. Mirandola, and G. Tamburrelli, Model evolution by run-time parameter adaptation, 2009 IEEE 31st International Conference on Software Engineering, pp.111-121, 2009.
DOI : 10.1109/ICSE.2009.5070513

P. Falcarin and G. Alonso, Software Architecture Evolution through Dynamic AOP, EWSA' 04: First European Workshop on Software Architecture, pp.57-73, 2004.
DOI : 10.1007/978-3-540-24769-2_5

P. Falcarin and M. Torchiano, Automated Reasoning on Aspects Interactions, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), pp.313-316, 2006.
DOI : 10.1109/ASE.2006.19

W. Feller, An Introduction to Probability Theory and Its Applications, 1968.

R. Ferguson and B. Korel, The chaining approach for software test data generation, ACM Transactions on Software Engineering and Methodology, vol.5, issue.1, pp.63-86, 1996.
DOI : 10.1145/226155.226158

E. Robert, D. P. Filman, and . Friedman, Aspect-oriented programming is quantification and obliviousness, Aspect-Oriented Software Development, pp.21-35, 2005.

F. Fleurey and A. Solberg, A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems, MoDELS'09: Model Driven Engineering Languages and Systems, 12th International Conference. Proceedings, pp.606-621, 2009.
DOI : 10.1109/MIC.2007.2

J. Floch, Theory of adaptation ? deliverable d2.2 MUSIC EU project. http://www.ist-music, 2006.

J. Floch, S. Hallsteinsen, E. Stav, F. Eliassen, K. Lund et al., Using architecture models for runtime adaptability, IEEE Software, vol.23, issue.2, pp.62-70, 2006.
DOI : 10.1109/MS.2006.61

D. Kenneth, J. Forbus, and . De-kleer, Building problem solvers, 1993.

C. Forgy, Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial Intelligence, vol.19, issue.1, pp.17-37, 1982.
DOI : 10.1016/0004-3702(82)90020-0

S. Fouché, M. B. Cohen, and A. Porter, Incremental covering array failure characterization in large configuration spaces, Proceedings of the eighteenth international symposium on Software testing and analysis, ISSTA '09, pp.177-188, 2009.
DOI : 10.1145/1572272.1572294

R. France, F. Fleurey, R. Reddy, B. Baudry, and S. Ghosh, Providing Support for Model Composition in Metamodels, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), p.253, 2007.
DOI : 10.1109/EDOC.2007.55

URL : https://hal.archives-ouvertes.fr/inria-00180463

C. Fritz and S. A. Mcilraith, Decision-theoretic golog with qualitative preferences, Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06), pp.153-163, 2006.

W. Bridging-the-gap, A. Cazzola, A. Savigni, F. Sosio, and . Tisato, Architectural reflection : Bridging the gap between a running system and its architectural specification, Proceedings of the 2 nd Euromicro Conference on Software Maintenance and Reengineering and 6 th Reengineering Forum, pp.8-11, 1998.

D. Garlan, . Shang-wen, A. Cheng, B. Huang, P. Schmerl et al., Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.46-54, 2004.
DOI : 10.1109/MC.2004.175

C. John, R. N. Georgas, and . Taylor, Policy-based self-adaptive architectures: a feasibility study in the robotics domain, SEAMS '08: Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems in conjunction with ICSE'08, pp.105-112, 2008.

C. John, A. Georgas, R. N. Van-der-hoek, and . Taylor, Using architectural models to manage and visualize runtime adaptation, IEEE Computer, vol.42, issue.9, pp.52-60, 2009.

A. Geraci, IEEE Standard Computer Dictionary: Compilation of IEEE Standard Computer Glossaries, 1991.

J. Klein-benoit-baudry-gilles-perrouin, S. Sen, and Y. L. Traon, Automated and scalable t-wise test case generation strategies for software product lines, ICST'10: Third International Conference on Software Testing, Verification and Validation, 2010.

E. David and . Goldberg, Genetic Algorithms in Search, Optimization and Machine Learning, 1989.

P. Goldsack, J. Guijarro, A. Lain, G. Mecheneau, P. Murray et al., Smartfrog: Configuration and automatic ignition of distributed applications, 2003.

W. G. Griswold, K. Sullivan, Y. Song, M. Shonle, N. Tewari et al., Modular software design with crosscutting interfaces, IEEE Software, vol.23, issue.1, pp.51-60, 2006.
DOI : 10.1109/MS.2006.24

C. Grossner, A. D. Preece, P. Chander, T. Radhakrishnan, and C. Y. Suen, Exploring the structure of rule based systems, AAAI'93: Proc. 11th. National Conference on Artificial Intelligence, pp.704-709, 1993.

G. Uma and . Gupta, Automatic tools for testing expert systems, Communications of the ACM, pp.179-184, 1998.

S. Hallsteinsen, M. Hinchey, S. Park, and K. Schmid, Dynamic Software Product Lines, IEEE Computer, vol.41, issue.4, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00722377

S. Hallsteinsen, E. Stav, A. Solberg, and J. Floch, Using Product Line Techniques to Build Adaptive Systems, 10th International Software Product Line Conference (SPLC'06), pp.141-150, 2006.
DOI : 10.1109/SPLINE.2006.1691586

M. Harman and B. F. Jones, Search-based software engineering, Information and Software Technology, vol.43, issue.14, pp.833-839, 2001.
DOI : 10.1016/S0950-5849(01)00189-6

A. Hartman and L. Raskin, Problems and algorithms for covering arrays, Discrete Mathematics, vol.284, issue.1-3, pp.149-156, 2004.
DOI : 10.1016/j.disc.2003.11.029

W. Heaven, D. Sykes, J. Magee, and J. Kramer, A case study in goaldriven architectural adaptation. Software Engineering for Self-Adaptive Systems, pp.109-127, 2009.

L. Heng, W. K. Chan, and T. Tse, Testing context-aware middleware-centric programs: a data flow approach and an rfid-based experimentation, SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, pp.61-70, 2006.

J. Hielscher, R. Kazhamiakin, A. Metzger, and M. Pistore, A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing, ServiceWave '08: Proceedings of the 1st European Conference on Towards a Service-Based Internet, pp.122-133, 2008.
DOI : 10.1007/978-3-540-89897-9_11

E. Friedman and H. , Jess in Action: Java Rule-Based Systems, 2003.

E. Hilsdale and J. Hugunin, Advice weaving in AspectJ, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.26-35, 2004.
DOI : 10.1145/976270.976276

K. Hindriks, M. Inverno, and M. Luck, Architecture for agent programming languages, ECAI'00: Proceedings of the Fourteenth European Conference on Artificial Intelligence, pp.363-367, 2000.

C. Markus, J. A. Huebscher, and . Mccann, A survey of autonomic computing? degrees, models, and applications, ACM Computing Surveys, vol.40, issue.3, pp.1-28, 2008.

D. Hughes, P. Greenwood, G. Coulson, G. Blair, F. Pappenberger et al., GridStix: Supporting Flood Prediction using Embedded Hardware and Next Generation Grid Middleware, 2006 International Symposium on a World of Wireless, Mobile and Multimedia Networks(WoWMoM'06), 2006.
DOI : 10.1109/WOWMOM.2006.49

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2006.

J. Jézéquel, Model driven design and aspect weaving, Software & Systems Modeling, vol.33, issue.4, pp.209-218, 2008.
DOI : 10.1007/s10270-008-0080-5

F. Bryan, . Jones, -. H. Harmen, D. E. Sthamer, and . Eyres, Automatic structural testing using genetic algorithms, Software Engineering Journal, vol.11, issue.5, pp.299-306, 1996.

Y. Jun and Z. Jian, Backtracking algorithms and search heuristics to generate test suites for combinatorial testing, COMPSAC '06: Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC'06), 2006.

E. Kachinske and T. Kachinske, Maximizing Your Sales with Microsoft Dynamics CRM, 2008.

E. Katz and K. , Incremental analysis of interference among aspects, Proceedings of the 7th workshop on Foundations of aspect-oriented languages, FOAL '08, pp.29-38, 2008.
DOI : 10.1145/1394496.1394500

S. Katz, Diagnosis of harmful aspects using regression verification, FOAL: Foundations Of Aspect- Oriented Languages workshop in conjunction with AOSD'04, pp.1-6, 2004.

J. Keeney and V. Cahill, Chisel: a policy-driven, context-aware, dynamic adaptation framework, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks, pp.3-14, 2003.
DOI : 10.1109/POLICY.2003.1206953

O. Jeffrey, D. M. Kephart, and . Chess, The vision of autonomic computing, IEEE Computer, vol.36, issue.1, pp.41-50, 2003.

O. Jeffrey, R. Kephart, and . Das, Achieving self-management via utility functions, IEEE Internet Computing, vol.11, issue.1, pp.40-48, 2007.

G. Kiczales, Aspect oriented programming, ACM Computing Surveys, vol.28, issue.154, 1997.

G. Kiczales and M. Mezini, Aspect-oriented programming and modular reasoning, ICSE'05: Proceedings of the 27th International Conference on Software Engineering, pp.49-58, 2005.

D. Kim and S. Park, Reinforcement learning-based dynamic adaptation planning method for architecture-based self-managed software, SEAMS '09: Proceedings of the International workshop on Software Engineering for Adaptive and Self-Managing Systems in conjunction with ICSE'09, pp.76-85, 2009.

J. D. Kiper, Structural testing of rule-based expert systems, ACM Transactions on Software Engineering and Methodology, vol.1, issue.2, pp.168-187, 1992.
DOI : 10.1145/128894.128896

J. G. Kobielus, BizTalk: Implementing Business-to-Business E-Commerce, 2000.

D. S. Kolovos, R. F. Paige, and F. A. Polack, Model comparison, Proceedings of the 2006 international workshop on Global integrated model management , GaMMa '06, pp.13-20, 2006.
DOI : 10.1145/1138304.1138308

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

C. Koppen and M. Störzer, PCDiff: Attacking the fragile pointcut problem, European Interactive Workshop on Aspects in Software (EIWAS), 2004.

J. Kramer and J. Magee, The evolving philosophers problem: dynamic change management, IEEE Transactions on Software Engineering, vol.16, issue.11, pp.1293-1306, 1990.
DOI : 10.1109/32.60317

J. Kramer and J. Magee, Analysing dynamic change in software architectures: a case study, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159), p.91, 1998.
DOI : 10.1109/CDS.1998.675762

D. R. Kuhn, D. R. Wallace, J. Gallo, and A. M. , Software fault interactions and implications for software testing, IEEE Transactions on Software Engineering, vol.30, issue.6, pp.418-421, 2004.
DOI : 10.1109/TSE.2004.24

R. Kuhn, Y. Lei, and R. Kacker, Practical Combinatorial Testing: Beyond Pairwise, IT Professional, vol.10, issue.3, pp.19-23, 2008.
DOI : 10.1109/MITP.2008.54

S. Sandeep, K. N. Kulkarni, and . Biyani, Correctness of component-based adaptation, CBSE'04: Proceedings of International Symposium on Component-based Software Engineering, pp.48-58

B. Lagaisse, W. Joosen, and B. De-win, Managing semantic interference with aspect integration contracts, SPLAT: Software Engineering Properties of Languages for Aspect in conjuction with AOSD'04, 2004.

G. S. Lair, G. Coulson, L. Blair, M. Clarke, F. Costa et al., A principled approach to supporting adaptation in distributed mobile environments, PDSE '00: Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, pp.3-12, 2000.

H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. B. Scherl, GOLOG: A logic programming language for dynamic domains, The Journal of Logic Programming, vol.31, issue.1-3, pp.1-359, 1997.
DOI : 10.1016/S0743-1066(96)00121-5

Z. Li, M. Harman, and R. M. Hierons, Search Algorithms for Regression Test Case Prioritization, IEEE Transactions on Software Engineering, vol.33, issue.4, pp.225-237, 2007.
DOI : 10.1109/TSE.2007.38

K. Lieberherr, D. H. Lorenz, and J. Ovlinger, Aspectual Collaborations: Combining Modules and Aspects, The Computer Journal, vol.46, issue.5, pp.542-565, 2003.
DOI : 10.1093/comjnl/46.5.542

D. Lopes, S. Hammoudi, J. De-souza, and A. Bontempo, Metamodel Matching: Experiments and Comparison, 2006 International Conference on Software Engineering Advances (ICSEA'06), 2006.
DOI : 10.1109/ICSEA.2006.261258

H. Lu, W. K. Chan, and T. H. Tse, Testing pervasive software in the presence of context inconsistency resolution services, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.61-70, 2008.
DOI : 10.1145/1368088.1368098

C. David and . Luckham, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, 2001.

P. Maes, Computational Reflection, 1987.

A. Markov, Extension of the limit theorems of probability theory to a sum of variables connected in a chain, Dynamic Probabilistic Systems (Volume I: Markov Models), chapter Appendix B, pp.552-577, 1971.

N. Matthys, S. Michiels, W. Joosen, and P. Verbaeten, Policy-based management of middleware for distributed sensor applications, Proceedings of the 6th workshop on Middleware for network eccentric and mobile applications, MiNEMA '08, pp.15-17, 2008.
DOI : 10.1145/1435467.1435471

N. Mceachen and R. Alexander, Distributing classes with woven concerns? an exploration of potential fault scenarios, AOSD'05: Proceedings of the 4th International Conference on Aspect-Oriented Software Development, pp.192-200, 2005.

P. K. Mckinley, S. Masoud-sadjadi, E. P. Kasten, and B. H. Cheng, Composing adaptive software, Computer, vol.37, issue.7, pp.56-64, 2004.
DOI : 10.1109/MC.2004.48

P. Mcminn, Search-based software test data generation: a survey: Research articles, Software Testing Verification Reliability, pp.105-156, 2004.

C. C. Michael, G. Mcgraw, and M. A. Schatz, Generating software test data by evolution, IEEE Transactions on Software Engineering, vol.27, issue.12, pp.1085-1110, 2001.
DOI : 10.1109/32.988709

M. Morandini, L. Penserini, and A. Perini, Towards goal-oriented development of self-adaptive systems. In SEAMS '08: Proceedings of the 2008 international BIBLIOGRAPHY workshop on Software engineering for adaptive and self-managing systems in conjuction with ICSE'08, pp.9-16, 2008.

B. Morin, O. Barais, and J. Jézéquel, K@rt: An aspect-oriented and model-oriented framework for dynamic software product lines, MRT'08: Proceedings of the 3rd International Workshop on Models@Runtime in cojunction with MoDELS'08, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456486

B. Morin, O. Barais, and J. Jezequel, Models@ Run.time to Support Dynamic Adaptation, Computer, vol.42, issue.10, pp.44-51, 2009.
DOI : 10.1109/MC.2009.327

B. Morin, O. Barais, G. Nain, and J. Jézéquel, Taming Dynamically Adaptive Systems using models and aspects, 2009 IEEE 31st International Conference on Software Engineering, pp.122-132, 2009.
DOI : 10.1109/ICSE.2009.5070514

B. Morin, F. Fleurey, N. Bencomo, J. Jézéquel, A. Solberg et al., An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability, MoDELS '08: Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems, pp.782-796, 2008.
DOI : 10.1007/978-3-540-87875-9_54

URL : https://hal.archives-ouvertes.fr/inria-00468232

B. Morin, G. Vanwormhoudt, P. Lahire, A. Gaignard, O. Barais et al., Managing Variability Complexity in Aspect-Oriented Modeling, MoDELS '08: Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems, pp.797-812, 2008.
DOI : 10.1007/978-3-540-87875-9_55

URL : https://hal.archives-ouvertes.fr/inria-00457129

C. Michael and . Mozer, Lessons from an adaptive home, In Smart Environments, pp.271-294, 2004.

H. Müller, M. Pezzè, and M. Shaw, Visibility of control in adaptive systems, Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems , ULSSIS '08, pp.23-26, 2008.
DOI : 10.1145/1370700.1370707

F. Munoz and B. Baudry, Validation challenges in model composition: The case of adaptive systems, ChaMDE 2008: Workshop on Challenges in Model Driven Engineering in conjounction with MODELS'08, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456505

F. Munoz and B. Baudry, A Framework for Testing Model Composition Engines, SC '09: Proceedings of the 8th International Conference on Software Composition, pp.125-141, 2009.
DOI : 10.1007/s10270-006-0018-8

URL : https://hal.archives-ouvertes.fr/inria-00504693

F. Munoz, B. Baudry, and O. Barais, A classification of invasive patterns in aop, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00266555

F. Munoz, B. Baudry, and O. Barais, Improving maintenance in AOP through an interaction specification framework, 2008 IEEE International Conference on Software Maintenance, pp.77-86, 2008.
DOI : 10.1109/ICSM.2008.4658056

URL : https://hal.archives-ouvertes.fr/inria-00456504

F. Munoz, B. Baudry, R. Delamare, and Y. Le-traon, Inquiring the usage of aspect-oriented programming: An empirical study, 2009 IEEE International Conference on Software Maintenance, pp.137-146, 2009.
DOI : 10.1109/ICSM.2009.5306300

URL : https://hal.archives-ouvertes.fr/inria-00504676

J. Glenford and . Myers, Art of Software Testing, 1979.

N. Mohamed, D. A. Bennani, and . Menasce, Resource allocation for autonomic data centers using analytic performance models, ICAC '05: Proceedings of the Second International Conference on Automatic Computing, pp.229-240, 2005.

D. Nau, M. Ghallab, and P. Traverso, Automated Planning: Theory & Practice, 2004.

J. Nehmer, M. Becker, A. Karshmer, and R. Lamm, Living assistance systems, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.43-50, 2006.
DOI : 10.1145/1134285.1134293

S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, and P. Zave, Matching and Merging of Statecharts Specifications, 29th International Conference on Software Engineering (ICSE'07), pp.54-64, 2007.
DOI : 10.1109/ICSE.2007.50

D. Cu, A. Nguyen, P. Perini, S. Tonella, M. Miles et al., Evolutionary testing of autonomous software agents, AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems International Foundation for Autonomous Agents and Multiagent Systems, pp.521-528, 2009.

A. Tin, W. Nguyen, T. J. Perkin, D. Laffey, and . Pecora, Knowledge base verification, pp.69-75, 1987.

O. Nierstrasz, M. Denker, and L. Renggli, Model-centric, context-aware software adaptation. Software Engineering for Self-Adaptive Systems, pp.128-145, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00532825

P. Oreizy, M. Gorlick, R. Taylor, D. Heimbigner, G. Johnson et al., An architecture-based approach to self-adaptive software, IEEE Intelligent Systems, vol.14, issue.3, pp.54-62, 1999.
DOI : 10.1109/5254.769885

P. Oreizy, N. Medvidovic, and R. N. Taylor, Architecture-based runtime software evolution, Proceedings of the 20th International Conference on Software Engineering, pp.177-186, 1998.
DOI : 10.1109/ICSE.1998.671114

O. Alliance, Osgi service platform release 4 Available: http://www.osgi.org/Main, HomePage, 2007.

G. A. Papadopoulos, W. Wojtkowski, G. Wojtkowski, S. Wrycza, and J. Zupancic, Applying utility functions to adaptation planning for home automation applications, ISD'08: 17th International Conference on Information Systems Development, pp.529-537, 2008.

R. P. Pargas, M. J. Harrold, and R. R. Peck, Test-data generation using genetic algorithms Software Testing, Verification, and Reliability, 4<263::AID-STVR190>3.0.CO, pp.263-2821099, 1002.

R. Pawlak, L. Seinturier, L. Duchien, G. Florin, F. Legond-aubry et al., Jac: an aspect-based distributed dynamic framework. Software Practice Experts, pp.1119-1148, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000042

G. Perrouin, J. Deantoni, J. Marc-jézéquel, and F. Chauvel, Modeling the variability space of self-adaptive applications, DSPL'08: 2nd Dynamic Software Product Lines Workshop in conjunction with SPLC, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456531

N. Pessemier, L. Seinturier, T. Coupaye, and L. Duchien, A component-based and aspect-oriented model for software evolution, International Journal of Computer Applications in Technology, vol.31, issue.1/2, 2008.
DOI : 10.1504/IJCAT.2008.017722

URL : https://hal.archives-ouvertes.fr/inria-00269895

M. Pezze and M. Young, Software Testing and Analysis: Process, Principles and Techniques. Number 1, 2007.

A. Popovici, T. Gross, and G. Alonso, Dynamic weaving for aspectoriented programming, AOSD '02: Proceedings of the 1st international conference on Aspect-oriented software development, pp.141-147, 2002.

S. Prawee, G. Waignier, and A. Meur, Enabling Dynamic Co-evolution of Models and Runtime Applications, COMPSAC '08: Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference, pp.1116-1121, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00311581

A. Pretschner, M. Broy, I. H. Kruger, and T. Stauner, Software Engineering for Automotive Systems: A Roadmap, Future of Software Engineering (FOSE '07), pp.55-71, 2007.
DOI : 10.1109/FOSE.2007.22

X. Qu, M. B. Cohen, and G. Rothermel, Configuration-aware regression testing, Proceedings of the 2008 international symposium on Software testing and analysis, ISSTA '08, pp.75-86, 2008.
DOI : 10.1145/1390630.1390641

S. Saif-ur-rahman, N. Aoumeur, and G. Saake, An adaptive ecacentric architecture for agile service-based business processes with compliant aspectual .net environment, iiWAS '08: Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services, pp.240-247, 2008.

S. Anand, M. P. Rao, and . Georgeff, Bdi agents: From theory to practice, ICMAS-95: Proceedings of the first international conference on Multi-Agent Systems, pp.312-319, 1995.

A. Rasche and A. Polze, Configuration and dynamic reconfiguration of component-based applications with microsoft .NET, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003., p.164, 2003.
DOI : 10.1109/ISORC.2003.1199251

A. Rashid and A. Moreira, Domain Models Are NOT Aspect Free, MoDELS'06: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems, pp.155-169, 2006.
DOI : 10.1007/11880240_12

Y. and R. Reddy, An approach to composing aspect-oriented design models

G. Rimassa, D. Greenwood, and M. E. Kernland, The Living Systems Technology Suite: An Autonomous Middleware for Autonomic Computing, International Conference on Autonomic and Autonomous Systems (ICAS'06), p.33, 2006.
DOI : 10.1109/ICAS.2006.60

M. Rinard, A. Salcianu, and S. Bugrara, A classification system and analysis for interactions in aspect-oriented programs, FSE-12: International 164 BIBLIOGRAPHY Symposium On Foundations Of Software Engineering, pp.147-158, 2004.

R. Rouvoy, P. Barone, Y. Ding, F. Eliassen, S. Hallsteinsen et al., MUSIC, Proceedings of the 1st workshop on Mobile middleware embracing the personal communication device, MobMid '08, pp.164-182, 2009.
DOI : 10.1145/1462689.1462697

R. Rouvoy, M. Beauvois, and F. Eliassen, Dynamic aspect weaving using a planning-based adaptation middleware, Proceedings of the 2nd workshop on Middleware-application interaction affiliated with the DisCoTec federated conferences 2008, MAI '08, pp.1-6, 2008.
DOI : 10.1145/1394272.1394280

R. Rouvoy, F. Eliassen, J. Floch, S. O. Hallsteinsen, and E. Stav, Composing Components and Services Using a Planning-Based Adaptation Middleware, SC'08: 7th International Symposium on Software Composition, pp.52-67, 2008.
DOI : 10.1007/978-3-540-78789-1_4

M. Sama, D. S. Rosenblum, Z. Wang, and S. Elbaum, Modelbased fault detection in context-aware adaptive applications, FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.261-271, 2008.

R. Santelices, P. K. Chittimalli, T. Apiwattanapong, A. Orso, and M. J. Harrold, Test-Suite Augmentation for Evolving Software, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.218-227, 2008.
DOI : 10.1109/ASE.2008.32

Y. Sawaragi, H. Nakayama, and T. Tanino, Theory of multiobjective optimization, 1985.

C. Douglas and . Schmidt, Model-Driven Engineering, IEEE Computer, vol.39, issue.2, 2006.

G. Seroussi and N. H. Bshouty, Vector sets for exhaustive testing of logic circuits. Information Theory, IEEE Transactions on, vol.34, issue.3, pp.513-522, 1988.

G. D. , M. Serugendo, J. Fitzgerald, A. Romanovsky, and N. Guelfi, A generic framework for the engineering of self-adaptive and selforganising systems, Organic Computing -Controlled Self-organization, number 08141 in Dagstuhl Seminar Proceedings Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2008.

Y. Shin and H. Mark, Pareto efficient multi-objective test case selection, pp.140-150, 2007.

H. Song, Y. Xiong, F. Chauvel, G. Huang, Z. Hu et al., Generating Synchronization Engines between Running Systems and Their Model-Based Views, MRT'09: 4th International Workshop Models@run .time in jounction with Models CEUR Workshop Proceedings, pp.1-10, 2009.
DOI : 10.1007/978-3-642-12261-3_14

URL : https://hal.archives-ouvertes.fr/inria-00459616

M. Störzer and J. Graf, Using pointcut delta analysis to support evolution of aspect-oriented software, 21st IEEE International Conference on Software Maintenance (ICSM'05), pp.653-656, 2005.
DOI : 10.1109/ICSM.2005.99

B. Surajbali, G. Coulson, P. Greenwood, and P. Grace, Augmenting reflective middleware with an aspect orientation support layer, Proceedings of the 6th international workshop on Adaptive and reflective middleware held at the ACM/IFIP/USENIX International Middleware Conference, ARM '07, 2007.
DOI : 10.1145/1376780.1376781

D. Suvée, W. Vanderperren, and V. Jonckers, JAsCo, Proceedings of the 2nd international conference on Aspect-oriented software development , AOSD '03, pp.21-29, 2003.
DOI : 10.1145/643603.643606

M. Suwa, A. Scott, and E. H. Shortliffe, An approach to verifying completeness and consistency in a rule-based expert system, AI Magazine, vol.3, issue.4, 1982.

D. Sykes, W. Heaven, J. Magee, and J. Kramer, Plan-directed architectural change for autonomous systems. In SAVCBS'07: conference on Specification and verification of component-based systems, pp.15-21, 2007.

D. Sykes, W. Heaven, J. Magee, and J. Kramer, From goals to components, Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems , SEAMS '08, 2008.
DOI : 10.1145/1370018.1370020

C. A. Szyperski, Emerging component software technologies -a strategic comparison. Software -Concepts and Tools, pp.2-10, 1998.

J. Tan, G. S. Avrunin, and L. A. Clarke, Managing space for finite-sate verification, ICSE '06: Proceedings of the 28th international conference on Software engineering, pp.152-161, 2006.

T. Tourwé, J. Brichau, and K. Gybels, On the existence of the AOSDevolution paradox, SPLAT '03: Software engineering Properties of Languages for Aspect Technologies in conjunction with AOSD'03, 2003.

J. W. Tukey, Exploratory Data Analysis, 1977.

K. Twidle, E. Lupu, N. Dulay, and M. Sloman, Ponder2 -a policy environment for autonomous pervasive systems, POLICY '08: Proceedings of the 2008 IEEE Workshop on Policies for Distributed Systems and Networks, pp.245-246, 2008.

W. Vanderperren, D. Suvée, B. Verheecke, M. A. Cibrán, and V. Jonckers, Adaptive programming in JAsCo, Proceedings of the 4th international conference on Aspect-oriented software development , AOSD '05, pp.75-86, 2005.
DOI : 10.1145/1052898.1052905

T. Vogel, S. Neumann, S. Hildebrandt, H. Giese, and B. Becker, Incremental Model Synchronization for Efficient Run-Time Monitoring, MRT'09: 4th International Workshop Models@run.time in jounction with Models CEUR Workshop Proceedings, pp.1-10, 2009.
DOI : 10.1007/978-3-642-12261-3_13

G. Waignier, A. Meur, and L. Duchien, A Model-Based Framework to Design and Debug Safe Component-Based Autonomic Systems
DOI : 10.1145/1363686.1364081

URL : https://hal.archives-ouvertes.fr/inria-00369574

Z. Wang, S. Elbaum, and D. S. Rosenblum, Automated Generation of Context-Aware Tests, 29th International Conference on Software Engineering (ICSE'07), pp.406-415, 2007.
DOI : 10.1109/ICSE.2007.18

J. Wegener and O. Bühler, Evaluation of Different Fitness Functions for the Evolutionary Testing of an Autonomous Parking System, Proceedings of GECCO, pp.1400-1412, 2004.
DOI : 10.1007/978-3-540-24855-2_160

J. Wegener and M. Grochtmann, Verifying timing constraints of realtime systems by means of evolutionary testing. Real-Time Systems, pp.275-298, 1998.

A. W. Williams and R. L. Probert, Formulation of the interaction test coverage problem as an integer problem, Proceedings of the 14th International Conference on the Testing of Communicating Systems, pp.283-298, 2002.

Z. Xing and E. Stroulia, UMLDiff, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.54-65, 2005.
DOI : 10.1145/1101908.1101919

C. Xu and S. C. Cheung, Inconsistency detection and resolution for contextaware middleware support, ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pp.336-345, 2005.

C. Xu, S. C. Cheung, and W. K. Chan, Incremental consistency checking for pervasive context, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.292-301, 2006.
DOI : 10.1145/1134285.1134327

M. B. Cohen-xun-yuan and A. M. Memon, Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback, IEEE Transactions on Software Engineering, vol.36, issue.1, pp.81-95, 2009.
DOI : 10.1109/TSE.2009.68

X. Yang, Introduction to Mathematical Optimization: From Linear Programming to Metaheuristics. Cambridge International Science Publishing, 2008.

C. Yilmaz, M. B. Cohen, and A. A. Porter, Covering arrays for efficient fault characterization in complex configuration spaces, IEEE Transactions on Software Engineering, vol.32, pp.98-558945, 2006.

L. A. Zadeh, Fuzzy logic and approximate reasoning In Fuzzy sets, fuzzy logic, and fuzzy systems: selected papers by, pp.238-259, 1996.

J. Zeleznikow and D. Hunter, Building Intelligent Legal Information Systems (Computer Law, 1994.

J. Zhang and B. H. Cheng, Model-based development of dynamically adaptive software, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.371-380, 2006.
DOI : 10.1145/1134285.1134337

J. Zhang and B. H. Cheng, Using temporal logic to specify adaptive program semantics, Journal of Systems and Software, vol.79, issue.10, pp.1361-1369, 2006.
DOI : 10.1016/j.jss.2006.02.062

J. Zhang, H. J. Goldsby, and B. H. Cheng, Modular verification of dynamically adaptive systems, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.161-172, 2009.
DOI : 10.1145/1509239.1509262

A. Alloy and .. , 113 4.8 attach method specified with an annotation 117 4.9 StandarClient with annotations, 131 B.1 Server authentication mechanism implemented using aspects . . . . . . . . 133 B.2 Client authentication mechanism implemented using aspects . . . . . . . . . 135 C.1 Alloy specification of the ABIS framework, p.137

F. Munoz, B. Baudry, and O. Barais, Vigilant usage of Aspects, Proceedings of ADI 2007 -Workshop on Aspects, Dependencies, and Interactions at ECOOP, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477559

F. Munoz and B. Baudry, Validation challenges in model composition: The case of adaptive systems, Proceedings of ChaMDE 2000 -Workshop on Challenges in Model Driven Engineering in conjounction with MODELS'08, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456505