R. Abreu, P. Zoeteweij, and A. J. Van-gemund, On the Accuracy of Spectrum-based Fault Localization, Testing: Academic and Industrial Conference Practice and Research Techniques, MUTATION (TAICPART-MUTATION 2007), pp.89-98, 2007.
DOI : 10.1109/TAIC.PART.2007.13

E. T. Barr, Y. Brun, P. T. Devanbu, M. Harman, and F. Sarro, The plastic surgery hypothesis, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pp.306-317, 2014.
DOI : 10.1145/2635868.2635898

J. Campos, A. Riboira, A. Perez, and R. Abreu, GZoltar: an eclipse plug-in for testing and debugging, Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012, 2012.
DOI : 10.1145/2351676.2351752

A. Carzaniga, A. Gorla, A. Mattavelli, N. Perino, and M. Pezze, Automatic recovery from runtime failures, 2013 35th International Conference on Software Engineering (ICSE), pp.782-791, 2013.
DOI : 10.1109/ICSE.2013.6606624

A. Carzaniga, A. Gorla, N. Perino, and M. Pezzè, Automatic workarounds for web applications, Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, FSE '10, pp.237-246, 2010.
DOI : 10.1145/1882291.1882327

S. Chandra, E. Torlak, S. Barman, and R. Bodik, Angelic debugging, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.121-130, 2011.
DOI : 10.1145/1985793.1985811

D. R. Cok, jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2, NASA Formal Methods, pp.480-486, 2011.
DOI : 10.1145/1066100.1066102

V. Dallmeier, A. Zeller, and B. Meyer, Generating Fixes from Object Behavior Anomalies, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.550-554, 2009.
DOI : 10.1109/ASE.2009.15

L. De-moura and N. Bjørner, Z3: An efficient SMT solver Held as Part of the Joint European Conferences on Theory and Practice of Software, Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference Proceedings, volume 4963 of Lecture Notes in Computer Science, pp.337-340, 2008.

V. Debroy and W. E. Wong, Using Mutation to Automatically Suggest Fixes for Faulty Programs, 2010 Third International Conference on Software Testing, Verification and Validation, 2010.
DOI : 10.1109/ICST.2010.66

F. Demarco, J. Xuan, D. L. Berre, and M. Monperrus, Automaticr epair of buggy if conditions and missing preconditions with smt, Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, pp.30-39, 2014.

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.313-324, 2014.
DOI : 10.1145/2642937.2642982
URL : https://hal.archives-ouvertes.fr/hal-01054552

Z. P. Fry, B. Landau, and W. Weimer, A human study of patch maintainability, Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012, pp.177-187, 2012.
DOI : 10.1145/2338965.2336775

S. Gulwani, S. Jha, A. Tiwari, and R. Venkatesan, Synthesis of loop-free programs, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, pp.62-73, 2011.

D. Jeffrey, N. Gupta, and R. Gupta, Fault localization using value replacement, Proceedings of the 2008 international symposium on Software testing and analysis, ISSTA '08, pp.167-178, 2008.
DOI : 10.1145/1390630.1390652

S. Jha, S. Gulwani, S. A. Seshia, and A. Tiwari, Oracleguided component-based program synthesis, Proceedings of the International Conference on Software Engineering, pp.215-224, 2010.

B. Jobstmann, A. Griesmayer, and R. Bloem, Program Repair as a Game, Computer Aided Verification, pp.226-238, 2005.
DOI : 10.1007/11513988_23

J. A. Jones, M. J. Harrold, and J. Stasko, Visualization of test information to assist fault localization, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.467-477, 2002.
DOI : 10.1145/581396.581397

R. Just, D. Jalali, and M. D. Ernst, Defects4J: a database of existing faults to enable controlled testing studies for Java programs, Proceedings of the 2014 International Symposium on Software Testing and Analysis, ISSTA 2014, pp.437-440, 2014.
DOI : 10.1145/2610384.2628055

Y. Ke, K. T. Stolee, C. L. Goues, and Y. Brun, Repairing Programs with Semantic Code Search (T), 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015.
DOI : 10.1109/ASE.2015.60

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

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, Software Engineering (ICSE), 2012 34th International Conference on, pp.3-13, 2012.

C. , L. Goues, N. Holtschulte, E. K. Smith, P. Brun et al., The manybugs and introclass benchmarks for automated repair of c programs, IEEE Transactions on Software Engineering, 2015.

C. , L. Goues, T. Nguyen, S. Forrest, and W. Weimer, Genprog: A generic method for automatic software repair. Software Engineering, IEEE Transactions on, vol.38, issue.1, pp.54-72, 2012.

Y. Li, S. Cheung, X. Zhang, and Y. Liu, Scaling Up Symbolic Analysis by Removing Z-Equivalent States, ACM Transactions on Software Engineering and Methodology, vol.23, issue.4, pp.1-3432, 2014.
DOI : 10.1145/2652484

F. Long and M. Rinard, Staged program repair with condition synthesis, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, pp.166-178, 2015.
DOI : 10.1145/2786805.2786811

S. L. Marcote and M. Monperrus, Automatic repair of infinite loops, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01144026

M. Martinez, T. Durieux, J. Xuan, and M. Monperrus, Automatic repair of real bugs in java: a large-scale experiment on the defects4j dataset, Empirical Software Engineering, vol.40, issue.5, 2015.
DOI : 10.1145/2786805.2786825
URL : https://hal.archives-ouvertes.fr/hal-01387556

M. Martinez and M. Monperrus, Mining software repair models for reasoning on the search space of automated program fixing, Empirical Software Engineering, vol.31, issue.6, pp.176-205, 2015.
DOI : 10.1007/s10664-013-9282-8
URL : https://hal.archives-ouvertes.fr/hal-00903804

M. Martinez, W. Weimer, and M. Monperrus, Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches, Companion Proceedings of the 36th International Conference on Software Engineering, ICSE Companion 2014, pp.492-495, 2014.
DOI : 10.1145/2591062.2591114
URL : https://hal.archives-ouvertes.fr/hal-00965410

T. J. Mccabe, A complexity measure. Software Engineering, IEEE Transactions on, issue.4, pp.308-320, 1976.

S. Mechtaev, J. Yi, and A. Roychoudhury, DirectFix: Looking for Simple Program Repairs, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015.
DOI : 10.1109/ICSE.2015.63

M. Monperrus, A critical review of "automatic patch generation learned from human-written patches": essay on the problem statement and the evaluation of automatic software repair, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.234-242, 2014.
DOI : 10.1145/2568225.2568324
URL : https://hal.archives-ouvertes.fr/hal-01054549

L. Naish, H. J. Lee, and K. Ramamohanarao, A model for spectra-based software diagnosis, ACM Transactions on Software Engineering and Methodology, vol.20, issue.3, p.11, 2011.
DOI : 10.1145/2000791.2000795

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

K. Pan, S. Kim, and E. J. Whitehead-jr, Toward an understanding of bug fix patterns, Empirical Software Engineering, vol.31, issue.6, pp.286-315, 2009.
DOI : 10.1007/s10664-008-9077-5

R. Pawlak, M. Monperrus, N. Petitprez, C. Noguera, and L. Seinturier, Spoon, Proceedings of the 1st workshop on Aspect oriented middleware development , AOMD '05, p.page na, 2015.
DOI : 10.1145/1101560.1101566
URL : https://hal.archives-ouvertes.fr/inria-00071366

Y. Pei, C. A. Furia, M. Nordio, Y. Wei, B. Meyer et al., Automated Fixing of Programs with Contracts, IEEE Transactions on Software Engineering, vol.40, issue.5, pp.427-449, 2014.
DOI : 10.1109/TSE.2014.2312918

J. H. Perkins, G. Sullivan, W. Wong, Y. Zibin, M. D. Ernst et al., Automatically patching errors in deployed software, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, 2009.
DOI : 10.1145/1629575.1629585

Y. Qi, X. Mao, and Y. Lei, Efficient Automated Program Repair through Fault-Recorded Testing Prioritization, 2013 IEEE International Conference on Software Maintenance, pp.180-189, 2013.
DOI : 10.1109/ICSM.2013.29

Y. Qi, X. Mao, Y. Lei, Z. Dai, and C. Wang, The strength of random search on automated program repair, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.254-265, 2014.
DOI : 10.1145/2568225.2568254

Z. Qi, F. Long, S. Achour, and M. 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, 2015.
DOI : 10.1145/2771783.2771791

E. K. Smith, C. L. Barr, Y. Goues, and . Brun, Is the cure worse than the disease? overfitting in automated program repair, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, 2015.
DOI : 10.1145/2786805.2786825

F. Steimann, M. Frenkel, and R. Abreu, Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators, Proceedings of the 2013 International Symposium on Software Testing and Analysis, ISSTA 2013, pp.314-324, 2013.
DOI : 10.1145/2483760.2483767

Y. Tao, J. Kim, S. Kim, and C. Xu, Automatically generated patches as debugging aids: a human study, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pp.64-74, 2014.
DOI : 10.1145/2635868.2635873

W. Weimer, Z. P. 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

J. Xu, Z. Zhang, W. Chan, T. Tse, and S. Li, A general noise-reduction framework for fault localization of Java programs, Information and Software Technology, vol.55, issue.5, pp.880-896, 2013.
DOI : 10.1016/j.infsof.2012.08.006

J. Xuan, B. Cornu, M. Martinez, B. Baudry, L. Seinturier et al., Dynamic Analysis can be Improved with Automatic Test Suite Refactoring, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01162220

J. Xuan and M. Monperrus, Learning to Combine Multiple Ranking Metrics for Fault Localization, 2014 IEEE International Conference on Software Maintenance and Evolution, pp.191-200, 2014.
DOI : 10.1109/ICSME.2014.41
URL : https://hal.archives-ouvertes.fr/hal-01018935

J. Xuan and M. Monperrus, Test case purification for improving fault localization, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pp.52-63, 2014.
DOI : 10.1145/2635868.2635906
URL : https://hal.archives-ouvertes.fr/hal-01061911

S. Yoo, M. Harman, and D. Clark, Fault localization prioritization, ACM Transactions on Software Engineering and Methodology, vol.22, issue.3, p.19, 2013.
DOI : 10.1145/2491509.2491513

X. Zhang, N. Gupta, and R. Gupta, Locating faults through automated predicate switching, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.272-281, 2006.
DOI : 10.1145/1134285.1134324

H. Zhong and Z. Su, An empirical study on fixing real bugs, Proceedings of the 37th International Conference on Software Engineering (ICSE), pp.913-923, 2015.