.. Méta-modèle-de-systèmes-aspectj, 101 5.4 Construction d'un outil de mesure, sans

J. Exemple-de-cas-de-test, 67 3.3 L'algorithme déterminant si un cas de test est impacté, p.69

A. Aspectj-aspect-example and .. , 82 4.5 A JUnit test class illustrating how to use AdviceTracer, p.82

.. Animalcomplaint-stateaspect, Exemple de cas de test JUnit seul pour l'aspect, p.92

.. Animalcomplaint-stateaspect, Exemple de cas de test AdviceTracer pour l'aspect, p.93

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

R. T. Alexander, J. M. Bieman, &. A. Anneliese, and . Andrews, Towards the systematic testing of aspect-oriented programs, 2004.

P. Ammann and &. Offutt, Introduction to software testing, 2008.
DOI : 10.1017/CBO9780511809163

R. Bache and &. Mullerburg, Measures of testability as a basis for quality assurance, Software Engineering Journal, vol.5, issue.2, pp.86-92, 1990.
DOI : 10.1049/sej.1990.0011

J. S. Baekken, &. Roger, and T. Alexander, A Candidate Fault Model for AspectJ Pointcuts, 2006 17th International Symposium on Software Reliability Engineering, pp.169-178, 2006.
DOI : 10.1109/ISSRE.2006.6

E. F. Barbosa, J. C. Maldonado, and &. Vincenzi, Towards the determination of sufficient mutant operators fo C, The Journal of Software Testing, Verification, and Reliability, 2001.

B. Baudry, F. Fleurey, J. Jézéquel, and &. 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. Baudry, F. Fleurey, and &. Traon, Improving test suites for efficient fault localization, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.82-91, 2006.
DOI : 10.1145/1134285.1134299
URL : https://hal.archives-ouvertes.fr/inria-00542783

D. Beuche and &. Beust, AOP Has Yet to Prove Its Value, IEEE Software, vol.23, issue.1, pp.73-74, 2006.

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

J. Bonér, What are the key issues for commercial AOP use, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.5-6, 2004.
DOI : 10.1145/976270.976273

L. C. Briand, J. W. Daly, &. Jürgen, and K. Wüst, A unified framework for coupling measurement in object-oriented systems, IEEE Transactions on Software Engineering, vol.25, issue.1, pp.91-121, 1999.
DOI : 10.1109/32.748920

M. Bruntink and &. Arie-van-deursen, Predicting class testability using object-oriented metrics, Source Code Analysis and Manipulation, Fourth IEEE International Workshop on, pp.136-145, 2004.
DOI : 10.1109/SCAM.2004.16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.298

A. Van-deursen, An empirical study into class testability, Journal of Systems and Software, vol.79, issue.9, pp.1219-1232, 2006.

M. Etienne, &. Cagnon, . J. Laurie, and . Hendren, SableCC, an Object- Oriented Compiler Framework, TOOLS '98 : Proceedings of the Technology of Object-Oriented Languages and Systems, pp.140-154, 1998.

R. Shyam, &. Chidamber, F. Chris, and . Kemerer, A metrics suite for object oriented design, IEEE Transactions on Software Engineering, vol.20, issue.6, pp.476-493, 1994.

I. Neville, &. Churcher, J. Martin, and . Shepperd, Towards a conceptual framework for object oriented software metrics, IEEE Transactions on Software Engineering, vol.20, issue.2, pp.69-75, 1995.

A. Colyer, R. Harrop, R. Johnson-&-alexandre, and . Vasseur, Point/Counterpoint, IEEE Software, vol.23, issue.1, pp.72-75, 2006.
DOI : 10.1109/MS.2006.26

M. Bruno-de-fraine, &. Südholt, and . Viviane-jonckers, StrongAspectJ, Proceedings of the 7th international conference on Aspect-oriented software development , AOSD '08, pp.60-71, 2008.
DOI : 10.1145/1353482.1353491

R. Delamare, B. Baudry, &. Demillo, R. J. Lipton, &. Frederick et al., AjMutator : A Tool For The Mutation Analysis of AspectJ Pointcut Descriptors In Mutation'09 : Proceedings of the 4 th International Workshop on Mutation Analysis Hints on Test Data Selection : Help for the Practicing Programmer, IEEE Computer, vol.78, issue.11 4, pp.34-41, 1978.

J. Peter and . Denning, The locality principle, Communications of the ACM, vol.48, issue.7, pp.19-24, 2005.

A. Derezinska, &. Ferrari, J. C. Maldonado, and &. Rashid, Tool-Supported Advanced Mutation Approach for Verification of C# Programs Mutation Testing for Aspect-Oriented Programs, DEPCOS- RELCOMEX '08 : Proceedings of the 2008 3 rd International Conference on Dependability of Computer Systems ICST '08 : Proceedings of the 1 st International Conference on Software Testing, Verification, and ValidationGamma 95] Erich Gamma, pp.261-268, 2008.

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

K. Gybels and &. Brichau, Arranging language features for more robust pattern-based crosscuts, Proceedings of the 2nd international conference on Aspect-oriented software development , AOSD '03, pp.60-69, 2003.
DOI : 10.1145/643603.643610

]. Harman, F. Islam, T. Xie, and S. Wappler, Automated test data generation for aspect-oriented programs, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.185-196, 2009.
DOI : 10.1145/1509239.1509264
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.6458

M. J. and H. Rothermel, Performing data flow testing on classes, Proceedings of the 2 nd symposium on Foundations of Software Engineering, pp.154-163, 1994.

M. J. Harrold, J. A. Jones, T. Li, D. Liang, A. Orso et al., Regression test selection for Java software, OOPSLA'01 : Proceedings of the 16 th conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.312-326, 2001.

K. Hoffman and &. Eugster, Towards reusable components with aspects, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.91-100, 2008.
DOI : 10.1145/1368088.1368102

A. Kellens, K. Mens, J. Brichau, and K. Gybels, Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts, 20th European Conference on Object-Oriented Programming, 2006.
DOI : 10.1007/11785477_28
URL : https://hal.archives-ouvertes.fr/inria-00160620

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes et al., Aspect-Oriented Programming, Proceedings of the European Conference on Object-Oriented Programming, 1997.

]. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, ECOOP '01 : Proceedings of the 15 th European Conference on Object-Oriented Programming, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

G. Kiczales and &. Mezini, Aspect-oriented programming and modular reasoning, ICSE '05 : Proceedings of the 27 th international conference on Software engineering, pp.49-58, 2005.
DOI : 10.1109/icse.2005.1553547

M. J. Kim, &. Harrold, and . Yong-rae-kwon, MU- GAMMA : Mutation Analysis of Deployed Software to Increase Confidence and Assist Evolution, MUTATION '06 : Proceedings of the Second Workshop on Mutation Analysis, p.10, 2006.

H. Klaeren and E. Pulvermüller, Awais Rashid & Andreas Speck Aspect Composition Applying the Design by Contract Principle, GCSE'00 : Proceedings of the 2 nd International Symposium on Generative and Component-Based Software Engineering, pp.57-69, 2001.

B. Lagaisse, W. Joosen, and &. Bart-de-win, Managing semantic interference with aspect integration contracts, SPLAT'04 : Software engineering Properties of Languages for Aspect, 2004.

A. Lazzarini-lemos, F. C. Ferrari, P. C. Masiero, and &. Lopes, Testing aspectoriented programming Pointcut Descriptors, WTAOP '06 : Proceedings of the 2 nd workshop on Testing aspect-oriented programs, pp.33-38, 2006.

A. Lazzarini-lemos, A. M. , R. Vincenzi, J. C. Maldonado, &. Paulo et al., Control and data flow structural testing criteria for aspect-oriented programs, Journal of Systems and Software, vol.80, issue.6, pp.862-882, 2007.
DOI : 10.1016/j.jss.2006.08.022

W. Li and &. Henry, Object-oriented metrics that predict maintainability, Journal of Systems and Software, vol.23, issue.2, pp.111-122, 1993.
DOI : 10.1016/0164-1212(93)90077-B

Y. Ma and Y. Offutt, Inter-Class Mutation Operators for Java, ISSRE '02 : Proceedings of the 13 th International Symposium on Software Reliability Engineering, p.352, 2002.

Y. Ma, J. Offutt, and &. Yong-rae-kwon, MuJava: an automated class mutation system, The Journal of Software Testing, Verification, and Reliability, pp.97-133, 2005.
DOI : 10.1002/stvr.308
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.2076

N. Mceachen, &. Roger, and T. Alexander, Distributing classes with woven concerns, Proceedings of the 4th international conference on Aspect-oriented software development , AOSD '05, pp.192-200, 2005.
DOI : 10.1145/1052898.1052915

B. Meyer and . Applying, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7831

F. Munoz, O. Barais, and &. Baudry, Vigilant Usage of Aspects, Proceedings of the 2 nd International Workshop on Aspects, Dependencies and Interactions associated with ECOOP'07, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477559

F. Munoz, B. Baudry, and &. Olivier-barais, Improving maintenance in AOP through an interaction specification framework, 2008 IEEE International Conference on Software Maintenance, 2008.
DOI : 10.1109/ICSM.2008.4658056
URL : https://hal.archives-ouvertes.fr/inria-00456504

F. Munoz, B. Baudry, R. Delamare, and &. Traon, Inquiring the usage of aspect-oriented programming: An empirical study, 2009 IEEE International Conference on Software Maintenance, 2009.
DOI : 10.1109/ICSM.2009.5306300
URL : https://hal.archives-ouvertes.fr/inria-00504676

J. Glenford and . Myers, The art of software testing, 1979.

A. and J. Offutt, Investigations of the software testing coupling effect, ACM Transactions on Software Engineering and Methodology, vol.1, issue.1, pp.5-20, 1992.
DOI : 10.1145/125489.125473

A. J. Offutt, J. Voas, and &. Payne, Mutation Operators for Ada, 1996.

J. Offutt and &. Pan, Automatically detecting equivalent mutants and infeasible paths, Software Testing, Verification and Reliability, vol.7, issue.3, pp.165-192, 1997.
DOI : 10.1002/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.2798

K. Ostermann, M. Mezini, and &. Bockisch, Expressive Pointcuts for Increased Modularity, ECOOP'05 : Proceedings of the 19 th European Conference on Object-Oriented Programming, pp.214-240, 2005.
DOI : 10.1007/11531142_10

T. J. Ostrand and &. M. Balcer, The category-partition method for specifying and generating fuctional tests, Communications of the ACM, vol.31, issue.6, pp.676-686, 1988.
DOI : 10.1145/62959.62964

]. Pawlak, L. Seinturier, L. Duchien, G. Florin, and F. Martelli, JAC: an aspect-based distributed dynamic framework, Software: Practice and Experience, vol.34, issue.12, pp.1119-1148, 2004.
DOI : 10.1002/spe.605
URL : https://hal.archives-ouvertes.fr/inria-00000042

R. Pawlak, C. Noguera, and &. Petitprez, Spoon, Proceedings of the 1st workshop on Aspect oriented middleware development , AOMD '05, 2006.
DOI : 10.1145/1101560.1101566
URL : https://hal.archives-ouvertes.fr/inria-00071366

A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner et al., One evaluation of model-based testing and its automation, ICSE '05 : Proceedings of the 27th international conference on Software engineering, pp.392-401, 2005.

M. Rinard, A. Salcianu, and &. Bugrara, A classification system and analysis for aspect-oriented programs, FSE'04 : Proceedings of the 12 th international symposium on Foundations of Software Engineering, pp.147-158, 2004.

G. Rothermel and &. Harrold, Analyzing regression test selection techniques, IEEE Transactions on Software Engineering, vol.22, issue.8, pp.529-551, 1996.
DOI : 10.1109/32.536955
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.870

G. Rothermel and &. Harrold, A safe, efficient regression test selection technique, ACM Transactions on Software Engineering and Methodology, vol.6, issue.2, pp.173-210, 1997.
DOI : 10.1145/248233.248262

K. Sakurai and &. Masuhara, Test-based pointcuts for robust and fine-grained join point specification, Proceedings of the 7th international conference on Aspect-oriented software development , AOSD '08, pp.96-107, 2008.
DOI : 10.1145/1353482.1353494

T. Skotiniotis, &. David, and H. Lorenz, Cona, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '04, pp.196-197, 2004.
DOI : 10.1145/1028664.1028747

S. Zhang, Z. Gu, Y. Lin, and &. Zhao, Celadon, Companion of the 13th international conference on Software engineering , ICSE Companion '08, pp.913-914, 2008.
DOI : 10.1145/1370175.1370184

J. Zhao, Data-Flow-Based Unit Testing of Aspect-Oriented Programs, Proceedings of the 27 th Annual International Conference on Computer Software and Applications, p.188, 2003.