L. Passos, R. Terra, R. Diniz, M. T. Valente, and N. Mendonca, Static Architecture-Conformance Checking: An Illustrative Overview, IEEE Software, vol.27, issue.5, pp.82-89, 2010.
DOI : 10.1109/MS.2009.117

J. Knodel and D. Popescu, A Comparison of Static Architecture Compliance Checking Approaches, 2007 Working IEEE/IFIP Conference on Software Architecture (WICSA'07), p.12, 2007.
DOI : 10.1109/WICSA.2007.1

D. E. Perry and A. L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, vol.17, issue.4, pp.40-52, 1992.
DOI : 10.1145/141874.141884

S. Ducasse and D. Pollet, Software Architecture Reconstruction: A Process-Oriented Taxonomy, IEEE Transactions on Software Engineering, vol.35, issue.4, pp.573-591, 2009.
DOI : 10.1109/TSE.2009.19
URL : https://hal.archives-ouvertes.fr/inria-00498407

G. Murphy, D. Notkin, and K. Sullivan, Software reflexion models: Bridging the gap between source and high-level models, 3rd Symposium on Foundations of Software Engineering (FSE), pp.18-28, 1995.

R. Terra and M. T. Valente, A dependency constraint language to manage object-oriented software architectures, Software: Practice and Experience, pp.1073-1094, 2009.
DOI : 10.1002/spe.931

M. Eichberg, S. Kloppenburg, K. Klose, and M. Mezini, Defining and continuous checking of structural program dependencies, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.391-400, 2008.
DOI : 10.1145/1368088.1368142

K. Mens, A. Kellens, F. Pluquet, and R. Wuyts, Co-evolving code and design with intensional views, Computer Languages, Systems & Structures, vol.32, issue.2-3, pp.140-156, 2006.
DOI : 10.1016/j.cl.2005.09.002

R. Koschke, Incremental reflexion analysis, 14th European Conference on Software Maintenance and Reengineering (CSMR), pp.1-10, 2010.
DOI : 10.1109/csmr.2010.10

R. Koschke and D. Simon, Hierarchical reflexion models, 10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings., pp.36-45, 2003.
DOI : 10.1109/WCRE.2003.1287235
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.432

D. Hovemeyer and W. Pugh, Finding bugs is easy, SIGPLAN Notices, pp.92-106, 2004.
DOI : 10.1145/1052883.1052895

S. Sarkar, S. Ramachandran, G. S. Kumar, M. K. Iyengar, K. Rangarajan et al., Modularization of a Large-Scale Business Application: A Case Study, IEEE Software, vol.26, issue.2, pp.28-35, 2009.
DOI : 10.1109/MS.2009.42

J. E. Araujo, S. Souza, and M. T. Valente, Study on the relevance of the warnings reported by Java bug-finding tools, IET Software, vol.5, issue.4, pp.366-374, 2011.
DOI : 10.1049/iet-sen.2009.0083

S. Kim and M. D. Ernst, Which warnings should I fix first?, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, pp.45-54, 2007.
DOI : 10.1145/1287624.1287633

R. A. Bittencourt, Enabling static architecture conformance checking of evolving software, 2012.

S. C. Johnson, Lint: A C program checker, Bell Laboratories, Tech. Rep, vol.65, 1977.

J. R. Larus, T. Ball, M. Das, R. Deline, M. Fahndrich et al., Righting software, IEEE Software, vol.21, issue.3, pp.92-100, 2004.
DOI : 10.1109/MS.2004.1293079

B. Livshits and T. Zimmermann, DynaMine: finding common error patterns by mining software revision histories, 13th International Symposium on Foundations of Software Engineering (FSE), pp.296-305, 2005.

S. Kim, K. Pan, E. E. Whitehead, and J. , Memories of bug fixes, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering , SIGSOFT '06/FSE-14, pp.35-45, 2006.
DOI : 10.1145/1181775.1181781

T. T. Nguyen, H. A. Nguyen, N. H. Pham, J. Kofahi, and T. N. Nguyen, Recurring bug fixes in object-oriented programs, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.315-324, 2010.
DOI : 10.1145/1806799.1806847

Y. M. Mileva, A. Wasylkowski, and A. Zeller, Mining Evolution of Object Usage, 25th European conference on Object-oriented programming, pp.105-129, 2011.
DOI : 10.1109/TSE.2005.63

A. Hora, N. Anquetil, S. Ducasse, and M. T. Valente, Mining system specific rules from change patterns, 2013 20th Working Conference on Reverse Engineering (WCRE), pp.1-10, 2013.
DOI : 10.1109/WCRE.2013.6671308
URL : https://hal.archives-ouvertes.fr/hal-00854861

D. Hou and H. J. Hoover, Using SCL to specify and check design intent in source code, IEEE Transactions on Software Engineering, vol.32, issue.6, pp.404-423, 2006.
DOI : 10.1109/TSE.2006.60

R. C. Holt, Structural manipulations of software architecture using Tarski relational algebra, Proceedings Fifth Working Conference on Reverse Engineering (Cat. No.98TB100261), pp.210-219, 1998.
DOI : 10.1109/WCRE.1998.723191

J. Brunet, D. Guerreiro, and J. Figueiredo, Structural conformance checking with design tests: An evaluation of usability and calability, 2011 27th IEEE International Conference on Software Maintenance (ICSM), pp.143-152, 2011.
DOI : 10.1109/ICSM.2011.6080781

C. Maffort, M. T. Valente, M. Bigonha, A. Hora, and N. Anquetil, Mining architectural patterns using association rules, 25th International Conference on Software Engineering and Knowledge Engineering (SEKE), pp.375-380, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00854851

R. Terra, M. T. Valente, K. Czarnecki, and R. S. Bigonha, A recommendation system for repairing violations detected by static architecture conformance checking, Software: Practice and Experience, pp.1-36, 2013.
DOI : 10.1002/spe.2228