J. Andersen and J. L. , Generic patch inference, Automated Software Engineering, vol.30, issue.4, pp.119-148, 2010.
DOI : 10.1007/s10515-010-0062-z

J. Andersen, A. C. Nguyen, D. Lo, J. L. Lawall, and S. Khoo, Semantic patch inference, Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012, pp.382-385, 2012.
DOI : 10.1145/2351676.2351753

P. E. Black, Ratcliff/Obershelp pattern recognition, Dictionary of Algorithms and Data Structures, 2004.

J. Falleri, F. Morandat, X. Blanc, M. Martinez, and M. Monperrus, Fine-grained and accurate source code differencing, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.2014-313
DOI : 10.1145/2642937.2642982
URL : https://hal.archives-ouvertes.fr/hal-01054552

B. Fluri, M. Würsch, E. Giger, and H. C. Gall, Analyzing the co-evolution of comments and source code, Software Quality Journal, vol.31, issue.6, pp.367-394, 2009.
DOI : 10.1007/s11219-009-9075-x

B. Fluri, M. Würsch, M. Pinzger, and H. C. Gall, Change Distilling:Tree Differencing for Fine-Grained Source Code Change Extraction, IEEE Transactions on Software Engineering, vol.33, issue.11, pp.725-743, 2007.
DOI : 10.1109/TSE.2007.70731

H. C. Gall, B. Fluri, and M. Pinzger, Change Analysis with Evolizer and ChangeDistiller, IEEE Software, vol.26, issue.1, pp.26-33, 2009.
DOI : 10.1109/MS.2009.6

S. Horwitz, Identifying the semantic and textual differences between two versions of a program, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1990.

D. Kim, J. Nam, J. Song, and S. Kim, Automatic patch generation learned from human-written patches, 2013 35th International Conference on Software Engineering (ICSE), pp.802-811, 2013.
DOI : 10.1109/ICSE.2013.6606626

G. Kroah-hartman, The Linux kernel driver interface (all of your questions answered and then some), " https://www

X. D. Le, Q. L. Le, D. Lo, and C. L. Goues, Enhancing Automated Program Repair with Deductive Verification, 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2016.
DOI : 10.1109/ICSME.2016.66

X. D. Le, T. B. Le, and D. Lo, Should fixing these failures be delegated to automated program repair?, 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp.427-437, 2015.
DOI : 10.1109/ISSRE.2015.7381836

X. D. Le, D. Lo, and C. L. Goues, Empirical Study on Synthesis Engines for Semantics-Based Program Repair, 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2016.
DOI : 10.1109/ICSME.2016.68

X. D. Le, D. Lo, and C. L. Goues, History Driven Program Repair, 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2016.
DOI : 10.1109/SANER.2016.76

C. , L. Goues, M. Dewey-vogt, S. Forrest, and W. Weimer, A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each, 34th International Conference on Software Engineering (ICSE). IEEE, pp.3-13, 2012.

C. Le-goues, T. Nguyen, S. Forrest, and W. Weimer, GenProg: A Generic Method for Automatic Software Repair, IEEE Transactions on Software Engineering, vol.38, issue.1, pp.54-72, 2012.
DOI : 10.1109/TSE.2011.104

F. Long and M. Rinard, Automatic patch generation by learning correct code, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp.298-312, 2016.

P. Marinescu, P. Hosek, and C. Cadar, Covrig: a framework for the analysis of code, test, and coverage evolution in real software, Proceedings of the 2014 International Symposium on Software Testing and Analysis, ISSTA 2014, pp.93-104, 2014.
DOI : 10.1145/2610384.2610419

S. Mechtaev, J. Yi, and A. Roychoudhury, Angelix, Proceedings of the 38th International Conference on Software Engineering, ICSE '16, pp.691-701, 2016.
DOI : 10.1145/2884781.2884807

S. Meng, X. Wang, L. Zhang, and H. Mei, A history-based matching approach to identification of framework evolution, 2012 34th International Conference on Software Engineering (ICSE), pp.353-363, 2012.
DOI : 10.1109/ICSE.2012.6227179

I. Neamtiu, J. S. Foster, and M. Hicks, Understanding source code evolution using abstract syntax tree matching, International Workshop on Mining Software Repositories (MSR), pp.1-5, 2005.

S. Negara, M. Codoban, D. Dig, and R. E. Johnson, Mining fine-grained code changes to detect unknown change patterns, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.803-813, 2014.
DOI : 10.1145/2568225.2568317

H. D. Nguyen, D. Qi, A. Roychoudhury, and S. Chandra, SemFix: Program repair via semantic analysis, 2013 35th International Conference on Software Engineering (ICSE), pp.772-781, 2013.
DOI : 10.1109/ICSE.2013.6606623

Z. Qi, F. Long, S. Achour, and M. C. Rinard, An analysis of patch plausibility and correctness for generate-and-validate patch generation systems, Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pp.24-36, 2015.
DOI : 10.1145/2771783.2771791

L. R. Rodriguez and J. Lawall, Increasing Automation in the Backporting of Linux Drivers Using Coccinelle, 2015 11th European Dependable Computing Conference (EDCC), 2015.
DOI : 10.1109/EDCC.2015.23
URL : https://hal.archives-ouvertes.fr/hal-01213912

W. Weimer, Z. Fry, and S. Forrest, Leveraging program equivalence for adaptive program repair: Models and first results, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.356-366, 2013.
DOI : 10.1109/ASE.2013.6693094

W. Wu, Y. Guéhéneuc, G. Antoniol, and M. Kim, AURA, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10
DOI : 10.1145/1806799.1806848
URL : https://hal.archives-ouvertes.fr/hal-00296514

A. Zaidman, B. Van-rompaey, A. Van-deursen, and S. Demeyer, Studying the co-evolution of production and test code in open source and industrial developer test processes through repository mining, Empirical Software Engineering, vol.29, issue.4, pp.325-364, 2011.
DOI : 10.1007/s10664-010-9143-7