M. J. Gavin-m-bierman, A. M. Parkinson, and . Pitts, MJ: An imperative core calculus for Java and Java with effects, 2003.

J. Brunel, D. Doligez, J. L. René-rydhof-hansen, G. Lawall, and . Muller, A foundation for flow-based program matching: using temporal logic and model checking, POPL, pp.114-126, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00297708

E. Bruneton, R. Lenglet, and T. Coupaye, ASM: a code manipulation tool to implement adaptable systems. Adaptable and extensible component systems, vol.30, 2002.

S. Chiba, Javassist-a reflection-based programming wizard for Java, Proceedings of OOPSLA'98 Workshop on Reflective Programming in C++ and Java, p.174, 1998.

C. James-r, The TXL source transformation language, Science of Computer Programming, vol.61, issue.3, pp.190-210, 2006.

B. Dagenais and . Martin-p-robillard, SemDiff: Analysis and recommendation support for API evolution, Proceedings of the 31st International Conference on Software Engineering, pp.599-602, 2009.

J. Henkel and A. Diwan, Catchup! capturing and replaying refactorings to support API evolution, Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on, pp.274-283, 2005.

A. Igarashi, C. Benjamin, P. Pierce, and . Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.23, issue.3, pp.396-450, 2001.

P. Klint, T. Van-der, J. Storm, and . Vinju, Rascal: A domain specific language for source code analysis and manipulation, Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, pp.168-177, 2009.

G. Kniesel, P. Costanza, and M. Austermann, JMangler-a framework for load-time transformation of Java class files, SCAM, pp.100-110, 2001.

D. Lacey and . Oege-de-moor, Imperative program transformation by rewriting, Compiler Construction, pp.52-68, 2001.

M. Lamothe and W. Shang, Exploring the use of automated API migrating techniques in practice: An experience report on Android, 15th International Conference on Mining Software Repositories, 2018.

J. Lawall and G. Muller, Coccinelle: 10 years of automated evolution in the Linux kernel, USENIX Annual Technical Conference, pp.601-614, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01853271

J. Li, C. Wang, Y. Xiong, and Z. Hu, Swin: Towards type-safe Java program adaptation between APIs, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, pp.91-102, 2015.

L. Li, J. Gao, F. Tegawendé, L. Bissyandé, X. Ma et al., Characterising deprecated Android APIs, Proceedings of the 15th International Conference on Mining Software Repositories, pp.254-264, 2018.

T. Mcdonnell, B. Ray, and M. Kim, An empirical study of API stability and adoption in the Android ecosystem, 29th IEEE International Conference on, pp.70-79, 2013.

S. Meng, X. Wang, L. Zhang, and H. Mei, A history-based matching approach to identification of framework evolution, Proceedings of the 34th International Conference on Software Engineering, pp.353-363, 2012.

G. Muller, Y. Padioleau, J. L. Lawall, and R. Hansen, Semantic patches considered helpful, ACM SIGOPS Operating Systems Review, vol.40, issue.3, pp.90-92, 2006.

. Beevi-s-nadera, V. Chitraprasad, and . Chandra, The varying faces of a program transformation systems, ACM Inroads, vol.3, issue.1, pp.49-55, 2012.

T. T. Hoan-anh-nguyen, G. Nguyen, A. T. Wilson, M. Nguyen, T. Kim et al., A graph-based approach to API usage adaptation, OOPSLA, pp.302-321, 2010.

M. Nita and D. Notkin, Using twinning to adapt programs to alternative APIs, Software Engineering, 2010 ACM/IEEE 32nd International Conference on, vol.1, pp.205-214, 2010.

Y. Padioleau, J. L. Lawall, G. René-rydhof-hansen, and . Muller, Documenting and automating collateral evolutions in Linux device drivers, EuroSys, pp.247-260, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00123142

Y. Padioleau, J. L. Lawall, and G. Muller, SmPL: A domain-specific language for specifying collateral evolutions in Linux device drivers, Electronic Notes in Theoretical Computer Science, vol.166, pp.47-62, 2007.

R. Pawlak and M. Monperrus, Nicolas Petitprez, Carlos Noguera, and Lionel Seinturier. Spoon: A library for implementing analyses and transformations of Java source code, Software: Practice and Experience, vol.46, issue.9, pp.1155-1179, 2016.

R. Luis, J. Rodriguez, and . Lawall, Increasing automation in the backporting of Linux drivers using Coccinelle, Dependable Computing Conference (EDCC), 2015 Eleventh European, pp.132-143, 2015.

R. Vallée-rai, P. Co, E. Gagnon, L. Hendren, P. Lam et al., Soot: A Java bytecode optimization framework, Proceedings of the 1999 Conference of the Centre for Advanced Studies on Collaborative Research, p.13, 1999.

E. Visser, Stratego: A language for program transformation based on rewriting strategies system description of Stratego 0.5, International Conference on Rewriting Techniques and Applications, pp.357-361, 2001.

C. Wang, J. Jiang, J. Li, Y. Xiong, X. Luo et al., Transforming programs between APIs with many-to-many mappings, 30th European Conference on Object-Oriented Programming, 2016.

S. Wang, D. Lo, and X. Jiang, Understanding widespread changes: A taxonomic study, Software Maintenance and Reengineering (CSMR), 2013 17th European Conference on, pp.5-14, 2013.