M. Almasi, H. Hemmati, G. Fraser, A. Arcuri, and J. Benefelds, An Industrial Evaluation of Unit Test Generation: Finding Real Faults in a Financial Application, 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP), pp.263-272, 2017.
DOI : 10.1109/ICSE-SEIP.2017.27

A. Arcuri and L. Briand, A practical guide for using statistical tests to assess randomized algorithms in software engineering, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011.
DOI : 10.1145/1985793.1985795

B. Le, T. Lo, D. , L. Goues, C. Grunske et al., A learning-to-rank based fault localization approach using likely invariants, Proceedings of the 25th International Symposium on Software Testing and Analysis, pp.177-188, 2016.

L. Baresi, P. Lanzi, and M. Miraz, TestFul: An Evolutionary Test Approach for Java, 2010 Third International Conference on Software Testing, Verification and Validation, pp.185-194, 2010.
DOI : 10.1109/ICST.2010.54

D. Brumley, T. Cker-chiueh, R. Johnson, H. Lin, and D. Song, Rich: Automatically protecting against integer-based vulnerabilities, Symp. on Network and Distributed Systems Security, 2007.

C. Cadar, D. Dunbar, and D. Engler, Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs, In: OSDI, vol.8, pp.209-224, 2008.

C. Csallner and Y. Smaragdakis, JCrasher: an automatic robustness tester for Java, Software: Practice and Experience, vol.34, issue.11, pp.1025-1050, 2004.
DOI : 10.1002/spe.602
URL : http://www-static.cc.gatech.edu/~csallnch/papers/csallner04jcrasher.pdf

T. Durieux, B. Cornu, L. Seinturier, and M. Monperrus, Dynamic patch generation for null pointer exceptions using metaprogramming, 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), pp.2017-349, 2017.
DOI : 10.1109/SANER.2017.7884635
URL : https://hal.archives-ouvertes.fr/hal-01419861

R. Evans and A. Savoia, Differential testing: A new approach to change detection, The 6th Joint Meeting on European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering: Companion Papers-FSE companion '07, pp.549-552, 2007.
DOI : 10.1145/1295014.1295038

G. Fraser and A. Arcuri, EvoSuite, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, pp.416-419, 2011.
DOI : 10.1145/2025113.2025179

Q. Gao, Y. Xiong, Y. Mi, L. Zhang, Y. W. Zhou et al., Safe memoryleak fixing for c programs, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, pp.459-47064, 2015.
DOI : 10.1109/icse.2015.64
URL : http://sei.pku.edu.cn/%7Exiongyf04/papers/icse15a.pdf

P. Godefroid, N. Klarlund, and K. Sen, DART, ACM SIGPLAN Notices, vol.40, issue.6, pp.213-223, 2005.
DOI : 10.1145/1064978.1065036

C. 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

Z. Gu, E. Barr, D. Hamilton, and Z. Su, Has the bug really been fixed?, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.55-64, 2010.
DOI : 10.1145/1806799.1806812
URL : https://www.researchgate.net/profile/Earl_Barr/publication/221554067_Has_the_bug_really_been_fixed/links/0912f509261c70884b000000.pdf

M. Islam and C. Csallner, Dsc+Mock, Proceedings of the Eighth International Workshop on Dynamic Analysis, WODA '10, pp.26-31, 2010.
DOI : 10.1145/1868321.1868326

S. Jha, S. Gulwani, S. Seshia, and A. Tiwari, Oracle-guided component-based program synthesis, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.215-224, 2010.
DOI : 10.1145/1806799.1806833
URL : http://nma.berkeley.edu/ark:/28722/bk000662095

J. Jones and M. Harrold, Empirical evaluation of the tarantula automatic fault-localization technique, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.273-282, 2005.
DOI : 10.1145/1101908.1101949

R. Just, D. Jalali, and M. 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

R. Just, D. Jalali, L. Inozemtseva, M. Ernst, R. Holmes et al., Are mutants a valid substitute for real faults in software testing?, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pp.654-665, 2014.
DOI : 10.1109/ICSE.2007.37

D. Kim, N. J. Song, J. Kim, and S. , 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
URL : http://www.cse.ust.hk/~hunkim/papers/kim-icse2013.pdf

G. Laghari, A. Murgia, and S. Demeyer, Fine-tuning spectrum based fault localisation with frequent method item sets, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, pp.274-285, 2016.
DOI : 10.1109/ICSE.2012.6227210

X. Le, D. Chu, D. Lo, L. Goues, C. Visser et al., S3: syntax- and semantic-guided repair synthesis via programming by examples, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering , ESEC/FSE 2017, pp.593-604, 2017.
DOI : 10.1109/ICSE.2017.45

X. Le, F. Thung, D. Lo, L. Goues, and C. , Overfitting in semantics-based automated program repair, Empirical Software Engineering, vol.53, issue.5, 2017.
DOI : 10.1109/TSE.2016.2560811

C. Liu, L. Fei, X. Yan, J. Han, and S. Midkiff, Statistical debugging: A hypothesis testing-based approach, IEEE Transactions on Software Engineering, vol.32, issue.10, pp.831-848, 2006.

X. Liu, M. Zeng, Y. Xiong, L. Zhang, and G. Huang, Identifying patch correctness in test-based automatic program repair. arXiv preprint arXiv, p.170609120, 2017.

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.1109/32.988498
URL : http://dspace.mit.edu/bitstream/handle/1721.1/94520/MIT-CSAIL-TR-2015-004.pdf?sequence%3D1

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, pp.298-312, 2016.
DOI : 10.1145/2914770.2837617

F. Long, P. Amidon, and M. Rinard, Automatic inference of code transforms for patch generation, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering , ESEC/FSE 2017, pp.727-739, 2017.
DOI : 10.1109/ICSE.2017.45

M. Martinez and M. Monperrus, ASTOR: a program repair library for Java (demo), Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, pp.441-444, 2016.
DOI : 10.1109/TSE.2016.2560811

M. Martinez, T. Durieux, R. Sommerard, 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, pp.1-29, 2016.
DOI : 10.1109/ICSE.2015.101
URL : https://hal.archives-ouvertes.fr/hal-01387556

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

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/2786805.2786825

H. Pdf-nguyen, D. Qi, A. Roychoudhury, and S. Chandra, ACM Computing Surveys URL https://hal.archives-ouvertes.fr/hal-01206501/file/ survey-automatic-repair Semfix: Program repair via semantic analysis, Monperrus M (2017) Automatic Software Repair: a Bibliography Proceedings of the 2013 International Conference on Software Engineering, pp.772-781, 2013.

C. Pacheco and M. Ernst, Randoop, Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion , OOPSLA '07, pp.815-816, 2007.
DOI : 10.1145/1297846.1297902

S. Park, B. Hossain, I. Hussain, C. Csallner, M. Grechanik et al., CarFast, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE '12, p.35, 2012.
DOI : 10.1145/2393596.2393636

S. Pearson, J. Campos, R. Just, G. Fraser, R. Abreu et al., Evaluating and Improving Fault Localization, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), pp.609-620, 2017.
DOI : 10.1109/ICSE.2017.62

Y. Pei, C. 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. Perkins, S. Kim, S. Larsen, S. Amarasinghe, J. Bachrach et al., Automatically patching errors in deployed software pp 87?102, 2009.
DOI : 10.1145/1629575.1629585
URL : http://www.cag.csail.mit.edu/~rinard/paper/sosp09.pdf

I. Prasetya, T3, a Combinator-Based Random Testing Tool for Java: Benchmarking, pp.101-110978, 2014.
DOI : 10.1007/978-3-319-14121-3_7

C. P?s?reanu and N. Rungta, Symbolic PathFinder, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.179-180, 2010.
DOI : 10.1145/1858996.1859035

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, M. Rinard, D. Marinov et al., An analysis of patch plausibility and correctness for generate-and-validate patch generation systems Cute: a concolic unit testing engine for c, In: Proceedings of ISSTA, ACM Sen K In: ACM SIGSOFT Software Engineering Notes, ACM, vol.30, pp.263-272, 2005.

S. Shamshiri, R. Just, J. Rojas, G. Fraser, P. Mcminn et al., Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T), 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015.
DOI : 10.1109/ASE.2015.86

A. Shaw, D. Doggett, and M. Hafiz, Automatically Fixing C Buffer Overflows Using Program Transformations, 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, pp.124-135, 2014.
DOI : 10.1109/DSN.2014.25

E. Smith, E. Barr, L. Goues, C. Brun, and Y. , 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, pp.532-543, 2015.
DOI : 10.1109/ICSE.2015.101

K. Taneja and T. Xie, DiffGen: Automated Regression Unit-Test Generation, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.407-410, 2008.
DOI : 10.1109/ASE.2008.60
URL : http://www.cs.washington.edu/homes/taoxie/publications/ase08-diffgen.pdf

Y. Tian and B. Ray, Automatically diagnosing and repairing error handling bugs in C, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering , ESEC/FSE 2017, pp.752-762, 2017.
DOI : 10.1109/ASE.2011.6100058

N. Tillmann, D. Halleux, and J. , Pex???White Box Test Generation for .NET, Proceedings of the 2Nd International Conference on Tests and Proofs, pp.134-153, 2008.
DOI : 10.1007/978-3-540-79124-9_10

P. Tonella, Evolutionary testing of classes, ACM SIGSOFT Software Engineering Notes, vol.29, issue.4, pp.119-128, 2004.
DOI : 10.1145/1013886.1007528

Y. Wei, Y. Pei, C. Furia, L. Silva, S. Buchholz et al., Automated fixing of programs with contracts, Proceedings of the 19th international symposium on Software testing and analysis, ISSTA '10, pp.61-72, 2010.
DOI : 10.1145/1831708.1831716

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-3666693094, 2013.
DOI : 10.1109/ASE.2013.6693094
URL : https://www.cs.virginia.edu/~weimer/p/weimer-ase2013-preprint.pdf

T. Xie, Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking, Proceedings of the 20th European Conference on Object-Oriented Programming, pp.380-403, 2006.
DOI : 10.1007/11785477_23

Q. Xin and S. Reiss, Identifying test-suite-overfitted patches through test case generation, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis , ISSTA 2017, pp.226-236, 2017.
DOI : 10.1145/2025113.2025121

Y. Xiong, J. Wang, R. Yan, J. Zhang, S. Han et al., Precise Condition Synthesis for Program Repair, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), pp.416-426, 2017.
DOI : 10.1109/ICSE.2017.45
URL : http://arxiv.org/pdf/1608.07754

J. Xuan, M. Martinez, F. Demarco, M. Clément, S. Lamelas et al., Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs, IEEE Transactions on Software Engineering, vol.43, issue.1, 2016.
DOI : 10.1109/TSE.2016.2560811
URL : https://hal.archives-ouvertes.fr/hal-01285008

J. Yang, A. Zhikhartsev, Y. Liu, and L. Tan, Better test cases for better automated program repair, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering , ESEC/FSE 2017, pp.831-841, 2017.
DOI : 10.1145/2771783.2771791

J. Yi, S. Tan, S. Mechtaev, M. Böhme, and A. Roychoudhury, A correlation study between automated program repair and test-suite metrics, Empirical Software Engineering, vol.43, issue.1, pp.1-32, 2017.
DOI : 10.1145/2568225.2568265

Z. Yu, H. Hu, C. Bai, K. Cai, and W. Wong, GUI Software Fault Localization Using N-gram Analysis, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, pp.325-33229, 2011.
DOI : 10.1109/HASE.2011.29

Z. Yu, C. Bai, and K. Cai, Mutation-oriented test data augmentation for GUI software fault localization, Information and Software Technology, vol.55, issue.12, pp.2076-2098, 2013.
DOI : 10.1016/j.infsof.2013.07.004

Z. Yu, C. Bai, and K. Cai, Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, pp.924-935, 2015.
DOI : 10.1109/ICSE.2015.102

Z. Yu, M. Martinez, B. Danglot, T. Durieux, and M. Monperrus, Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01575219

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