R. Abraham and M. Erwig, Goal-Directed Debugging of Spreadsheets, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), pp.37-44, 2005.
DOI : 10.1109/VLHCC.2005.42

E. Aftandilian, R. Sauciuc, S. Priya, and S. Krishnan, Building Useful Program Analysis Tools Using an Extensible Java Compiler, 2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation, pp.14-23
DOI : 10.1109/SCAM.2012.28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.261.1836

P. E. Ammann and J. C. Knight, Data diversity: an approach to software fault tolerance, Ieee transactions on computers 37, pp.418-425, 1988.
DOI : 10.1109/12.2185

J. Andersen and J. L. , Generic Patch Inference, Automated software engineering 17, pp.119-148, 2010.
DOI : 10.1007/s10515-010-0062-z
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.9100

A. Arcuri, Automatic Software Generation and Improvement Through Search Based Techniques, 2009.

A. Arcuri, Evolutionary repair of faulty software, Applied Soft Computing, vol.11, issue.4, pp.3494-3514, 2011.
DOI : 10.1016/j.asoc.2011.01.023
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.7557

A. Arcuri and X. Yao, A novel co-evolutionary approach to automatic software bug fixing, 2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence), pp.162-168, 2008.
DOI : 10.1109/CEC.2008.4630793
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.7991

A. Avizienis, The N-Version Approach to Fault-Tolerant Software, Ieee transactions on software engineering 11, pp.1491-1501, 1985.
DOI : 10.1109/TSE.1985.231893

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, Ieee transactions on dependable and secure computing 1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.5446

T. Azim, I. Neamtiu, and L. Marvel, Towards self-healing smartphone software via automated patching, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.623-628, 2014.
DOI : 10.1145/2642937.2642955
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.3439

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
DOI : 10.1145/1629575.1629585

E. Barr, M. Harman, P. Mcminn, M. Shahbaz, and S. Yoo, The Oracle Problem in Software Testing: A Survey, Ieee transactions on software engineering 41, pp.507-525, 2015.
DOI : 10.1109/TSE.2014.2372785

E. D. Berger and B. G. Zorn, DieHard: Probabilistic Memory Safety for Unsafe Languages, Acm sigplan notices 41, pp.158-168, 2006.

R. Bodik and B. Jobstmann, Algorithmic Program Synthesis: Introduction " . In: International journal on software tools for technology transfer 15, pp.397-411, 2013.
DOI : 10.1007/s10009-013-0287-9

Y. Brun, E. Barr, M. Xiao, C. L. Goues, and P. Devanbu, Evolution Vs. Intelligent Design in Program Patching, 2013.

Y. Cai and L. Cao, Fixing deadlocks via lock pre-acquisitions, Proceedings of the 38th International Conference on Software Engineering, ICSE '16, pp.1109-1120, 2016.
DOI : 10.1109/ICSE.2012.6227210

G. Candea and A. Fox, Crash-only Software, Proceedings of the 9th Conference on Hot Topics in Operating Systems, pp.12-12, 2003.

G. Candea and A. Fox, Recursive restartability: turning the reboot sledgehammer into a scalpel, Proceedings Eighth Workshop on Hot Topics in Operating Systems, pp.125-130, 2001.
DOI : 10.1109/HOTOS.2001.990072
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.1572

G. Candea, E. Kiciman, S. Zhang, P. Keyani, and A. Fox, JAGR: an autonomous self-recovering application server, 2003 Autonomic Computing Workshop, pp.168-177, 2003.
DOI : 10.1109/ACW.2003.1210217
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.5205

G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox, Microreboot: a Technique for Cheap Recovery, Proceedings of the 6th Conference on Symposium on Operating Systems Design & Implementation, pp.3-3, 2004.

M. Carbin, S. Misailovic, M. Kling, and M. C. Rinard, Detecting and Escaping Infinite Loops with Jolt, Procceedings of ECOOP, pp.609-633, 2011.
DOI : 10.1109/ICSE.2009.5070536
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.5418

A. Carzaniga, A. Gorla, A. Mattavelli, N. Perino, and M. Pezzè, Automatic recovery from runtime failures, 2013 35th International Conference on Software Engineering (ICSE), 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.661.2104

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

S. Cheng, D. Garlan, B. R. Schmerl, J. P. Sousa, B. Spitnagel et al., Using Architectural Style as a Basis for System Self-repair, Proceedings of the IFIP 17th World Computer Congress / 3rd IEEE/IFIP Conference on Software Architecture: System Design, Development and Maintenance, pp.45-59, 2002.
DOI : 10.1007/978-0-387-35607-5_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.2382

Z. Coker and M. Hafiz, Program transformations to fix C integers, 2013 35th International Conference on Software Engineering (ICSE), pp.792-801
DOI : 10.1109/ICSE.2013.6606625

B. Cornu, L. Seinturier, and M. Monperrus, Exception handling analysis and transformation using fault injection: Study of resilience against unanticipated exceptions, Information and Software Technology, vol.57, pp.66-76, 2015.
DOI : 10.1016/j.infsof.2014.08.004
URL : https://hal.archives-ouvertes.fr/hal-01062969

M. Costa, J. Crowcroft, M. Castro, A. Rowstron, L. Zhou et al., Vigilante, ACM SIGOPS Operating Systems Review, vol.39, issue.5, pp.133-147, 2005.
DOI : 10.1145/1095809.1095824

V. Dallmeier, A. Zeller, and B. Meyer, Generating Fixes from Object Behavior Anomalies, 2009 IEEE/ACM International Conference on Automated Software Engineering, 2009.
DOI : 10.1109/ASE.2009.15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.6279

B. Daniel, V. Jagannath, D. Dig, and D. Marinov, ReAssert: Suggesting Repairs for Broken Unit Tests, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.433-444, 2009.
DOI : 10.1109/ASE.2009.17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.5638

L. D. Antoni, R. Samanta, and R. Singh, Qlose: Program Repair with Quantitative Objectives, International conference on computer aided verification, pp.383-401, 2016.

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

F. Demarco, J. Xuan, D. L. Berre, and M. Monperrus, Automatic repair of buggy if conditions and missing preconditions with SMT, Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, 2014.
DOI : 10.1145/2593735.2593740
URL : https://hal.archives-ouvertes.fr/hal-00977798

B. Demsky and M. Rinard, Automatic Detection and Repair of Errors in Data Structures, Acm sigplan notices 38, pp.78-95, 2003.

B. Demsky and A. Dash, Bristlecone: A Language for Robust Software Systems, Proceedings of ECOOP, pp.490-515, 2008.
DOI : 10.1007/978-3-540-70592-5_21
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.9097

G. Denaro, M. Pezzè, and D. Tosi, Ensuring interoperable service-oriented systems through engineered self-healing, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.253-262, 2009.
DOI : 10.1145/1595696.1595734

L. A. Dennis, R. Monroy, and P. Nogueira, Proof-directed Debugging and Repair, Seventh Symposium on Trends in Functional Programming, pp.131-140, 2006.

A. Dhar, R. Purandare, M. Dhawan, and S. Rangaswamy, CLOTHO: Saving Programs from Malformed Strings and Incorrect String-handling " . In: Foundations of software engineering, pp.555-566, 2015.
DOI : 10.1145/2786805.2786877

K. Dobolyi and W. Weimer, Changing Java's Semantics for Handling Null Pointer Exceptions, 2008 19th International Symposium on Software Reliability Engineering (ISSRE), pp.47-56, 2008.
DOI : 10.1109/ISSRE.2008.59
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.6623

J. Duraes and H. Madeira, Emulation of Software Faults: A Field Data Study and a Practical Approach, Ieee transactions on software engineering 32, pp.849-867, 2006.
DOI : 10.1109/TSE.2006.113

M. Eisenstadt, My hairiest bug war stories, Communications of the ACM, vol.40, issue.4, pp.30-37, 1997.
DOI : 10.1145/248448.248456

B. Elkarablieh, I. Garcia, Y. Suen, and S. Khurshid, Assertion-based repair of complex data structures, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.64-73, 2007.
DOI : 10.1145/1321631.1321643
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1800

H. Eto and K. Yoda, Propolice: Improved Stacksmashing Attack Detection, Ipsj sig notes, pp.181-188, 2001.

S. Forrest, T. Nguyen, W. Weimer, and C. L. Goues, A genetic programming approach to automated software repair, Proceedings of the 11th Annual conference on Genetic and evolutionary computation, GECCO '09, pp.947-954, 2009.
DOI : 10.1145/1569901.1570031

G. Friedrich, M. Fugini, E. Mussi, B. Pernici, and G. Tagni, Exception Handling for Repair in Service-Based Processes, Ieee transactions on software engineering 36, pp.198-215, 2010.
DOI : 10.1109/TSE.2010.8

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
DOI : 10.1145/2338965.2336775

R. P. Gabriel and R. Goldman, Conscientious software, ACM SIGPLAN Notices, vol.41, issue.10, pp.433-450, 2006.
DOI : 10.1145/1167515.1167510
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.126

Q. Gao, Y. Xiong, Y. Mi, L. Zhang, W. Yang et al., Safe Memory-Leak Fixing for C Programs, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, pp.459-470
DOI : 10.1109/ICSE.2015.64
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.965

Q. Gao, H. Zhang, J. Wang, Y. Xiong, L. Zhang et al., Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T), 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015.
DOI : 10.1109/ASE.2015.81

Z. Gao, Z. Chen, Y. Zou, and A. Memon, SITAR: GUI Test Script Repair, Ieee transactions on software engineering, 2015.
DOI : 10.1109/TSE.2015.2454510

D. Garlan, S. Cheng, and B. Schmerl, Increasing System Dependability through Architecture-Based Self-Repair, pp.61-89, 2003.
DOI : 10.1007/3-540-45177-3_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.9260

B. J. Garvin, M. B. Cohen, and M. B. Dwyer, Using feature locality, Proceedings of the 8th workshop on Assurances for self-adaptive systems, ASAS '11, pp.24-33, 2011.
DOI : 10.1145/2024436.2024443

S. George, D. Evans, and S. Marchette, A biological programming model for self-healing, Proceedings of the 2003 ACM workshop on Survivable and self-regenerative systems in association with 10th ACM Conference on Computer and Communications Security, SSRS '03
DOI : 10.1145/1036921.1036929

D. Ghosh, R. Sharman, H. R. Rao, and S. Upadhyaya, Self-healing systems ??? survey and synthesis, Decision support systems 42, pp.2164-2185, 2007.
DOI : 10.1016/j.dss.2006.06.011

D. Gopinath, S. Khurshid, D. Saha, and S. Chandra, Data-guided repair of selection statements, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.243-253
DOI : 10.1145/2568225.2568303

D. Gopinath, M. Z. Malik, and S. Khurshid, Specification-Based Program Repair Using SAT, Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2011.
DOI : 10.1109/ICSE.2009.5070536

A. Griesmayer, R. Bloem, and B. Cook, Repair of Boolean Programs with an Application to C, Computer Aided Verification, pp.358-371, 2006.
DOI : 10.1007/11817963_33

R. Gupta, S. Pal, A. Kanade, and S. Shevade, DeepFix: Fixing Common C Language Errors by Deep Learning, Proceedings of the aaai conference on artificial intelligence, 2017.

B. Hartmann, D. Macdougall, J. Brandt, and S. R. Klemmer, What would other programmers do, Proceedings of the 28th international conference on Human factors in computing systems, CHI '10, pp.1019-1028, 2010.
DOI : 10.1145/1753326.1753478

H. He and N. Gupta, Automated Debugging Using??Path-Based??Weakest??Preconditions, pp.267-280, 2004.
DOI : 10.1007/978-3-540-24721-0_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.1523

P. Hosek and C. Cadar, Safe software updates via multi-version execution, 2013 35th International Conference on Software Engineering (ICSE), pp.612-621
DOI : 10.1109/ICSE.2013.6606607
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.2962

D. Hovemeyer and W. Pugh, Finding Bugs Is Easy, Acm sigplan notices 39, 2004.
DOI : 10.1145/1028664.1028717

Y. Huang, C. Kintala, N. Kolettis, and N. Fulton, Software rejuvenation: analysis, module and applications, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers, pp.381-390, 1995.
DOI : 10.1109/FTCS.1995.466961
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.176.2557

D. Jackson and M. Vaziri, Finding Bugs with a Constraint Solver, Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp.14-25, 2000.
DOI : 10.1145/347324.383378
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.1776

D. Jeffrey, M. Feng, N. Gupta, and R. Gupta, BugFix: A learning-based tool to assist developers in fixing bugs, 2009 IEEE 17th International Conference on Program Comprehension, pp.70-79, 2009.
DOI : 10.1109/ICPC.2009.5090029

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.9916

S. Jha, S. Gulwani, S. A. 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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.7195

M. Jiang, T. Y. Chen, F. Kuo, D. Towey, and Z. Ding, A metamorphic testing approach for supporting program repair without the need for a test oracle, Journal of systems and software, 2016.
DOI : 10.1016/j.jss.2016.04.002

G. Jin, L. Song, W. Zhang, S. Lu, and B. Liblit, Automated Atomicity-violation Fixing, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.389-400, 2011.
DOI : 10.1145/1993316.1993544
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.226.8641

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

H. Jula, D. Tralamazza, C. Zamfir, and G. Candea, Deadlock Immunity: Enabling Systems to Defend Against Deadlocks, Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, pp.295-308, 2008.

S. Kaleeswaran, V. Tulsian, A. Kanade, and A. Orso, MintHint: automated synthesis of repair hints, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.266-276
DOI : 10.1145/2568225.2568258
URL : http://arxiv.org/abs/1306.1286

S. Kalvala and R. Warburton, A Formal Approach to Fixing Bugs, pp.172-187, 2011.
DOI : 10.1007/978-3-642-00722-4_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.3735

A. Kalyanpur, B. Parsia, E. Sirin, and B. Cuenca-grau, Repairing Unsatisfiable Concepts in OWL Ontologies, Research and Applications, vol.4011, pp.170-184, 2006.
DOI : 10.1007/11762256_15

M. Kasbekar, C. Narayanan, and C. Das, Selective checkpointing and rollbacks in multi-threaded object-oriented environment, Ieee transactions on reliability 48, pp.325-337, 1999.
DOI : 10.1109/24.814515
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.6242

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

C. Kern and J. Esparza, Automatic Error Correction of Java Programs, pp.67-81, 2010.
DOI : 10.1145/587051.587053

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), 2013.
DOI : 10.1109/ICSE.2013.6606626
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.398.1952

E. Kneuss, M. Koukoutos, and V. Kuncak, Deductive Program Repair, International conference on computer aided verification, pp.217-233, 2015.
DOI : 10.1007/978-3-319-21668-3_13

D. E. Knuth, The errors of tex, Software: Practice and Experience, vol.18, issue.7, pp.607-685, 1989.
DOI : 10.1002/spe.4380190702

X. Kong, L. Zhang, W. E. Wong, and B. Li, Experience report: How do techniques, programs, and tests impact automated program repair?, 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp.194-204
DOI : 10.1109/ISSRE.2015.7381813

R. Könighofer and R. Bloem, Automated Error Localization and Correction for Imperative Programs, Formal Methods in Computer-Aided Design (FMCAD), pp.91-100, 2011.

R. Könighofer and R. Bloem, Repair with On-The-Fly Program Analysis, Hardware and Software: Verification and Testing. 2013, pp.56-71
DOI : 10.1007/978-3-642-39611-3_11

R. Koo and S. Toueg, Checkpointing and Rollback-Recovery for Distributed Systems, Ieee transactions on software engineering, pp.23-31, 1987.
DOI : 10.1109/TSE.1987.232562
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.1616

M. Lake, Epic Failures: 11 Infamous Software Bugs. http://www.computerworld. com/article/2515483/enterprise-applications/epic-failures--11-infamous-software- bugs.html, 2010.

J. L. Lawall, J. Brunel, N. Palix, R. R. Hansen, H. Stuart et al., WYSI- WIB: a Declarative Approach to Finding API Protocols and Bugs in Linux Code, International Conference on Dependable Systems & Networks, pp.43-52, 2009.

N. Lazaar, A. Gotlieb, and Y. Lebbah, A Framework for the Automatic Correction of Constraint Programs, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, pp.319-326, 2011.
DOI : 10.1109/ICST.2011.41

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, Proceedings of the International Conference on Software Engineering. 2012, pp.3-13

C. , L. Goues, S. Forrest, and W. Weimer, Current Challenges in Automatic Software Repair, In: Software quality journal, vol.213, pp.421-443, 2013.

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 (tse), 2015.

C. , L. Goues, T. Nguyen, S. Forrest, and W. Weimer, GenProg: a Generic Method for Automatic Software Repair, Ieee transactions on software engineering, pp.54-72, 2012.

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

M. Leotta, D. Clerissi, F. Ricca, and C. Spadaro, Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element Localization, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, pp.487-488, 2013.
DOI : 10.1109/ICST.2013.73

R. Levinson, Unified Planning and Execution for Autonomous Software Repair " . In: Workshop on Plan Execution: a Reality Check, 2005.

C. Lewis and J. Whitehead, Runtime repair of software faults using event-driven monitoring, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, p.275, 2010.
DOI : 10.1145/1810295.1810352

Z. Liang and R. Sekar, Fast and automated generation of attack signatures, Proceedings of the 12th ACM conference on Computer and communications security , CCS '05, pp.213-222, 2005.
DOI : 10.1145/1102120.1102150

Y. Lin and S. Kulkarni, Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability, Proceedings of the 2014 International Symposium on Software Testing and Analysis, ISSTA 2014, pp.237-247, 2014.
DOI : 10.1145/2610384.2610398

Z. Lin, X. Jiang, D. Xu, B. Mao, and L. Xie, AutoPaG: Towards Automated Software Patch Generation with Source Code Root Cause Identification and Repair, Proceedings of the 2nd ACM Symposium on Information, Computer and Communications Security, pp.329-340, 2007.

C. Liu, J. Yang, L. Tan, and M. Hafiz, R2Fix: Automatically Generating Bug Fixes from Bug Reports, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, pp.282-291
DOI : 10.1109/ICST.2013.24

H. Liu, Y. Chen, and S. Lu, Understanding and generating high quality patches for concurrency bugs, Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, pp.715-726, 2016.
DOI : 10.1109/ICSE.2015.101

P. Liu and C. Zhang, Axis: Automatically fixing atomicity violations through solving control constraints, 2012 34th International Conference on Software Engineering (ICSE), pp.299-309
DOI : 10.1109/ICSE.2012.6227184
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.9989

M. E. Locasto, S. Sidiroglou, and A. D. Keromytis, Software Self-Healing Using Collaborative Application Communities, Proceedings of the Network and Distributed System Security Symposium, 2006.

F. Logozzo and T. Ball, Modular and Verified Automatic Program Repair, Proceedings of the 27th ACM International Conference on Object Oriented Programming Systems Languages and Applications, 2012.
DOI : 10.1145/2398857.2384626

F. Logozzo and M. Martel, Automatic Repair of Overflowing Expressions with Abstract Interpretation, Electronic Proceedings in Theoretical Computer Science, vol.129, pp.341-357, 2013.
DOI : 10.4204/EPTCS.129.21
URL : http://arxiv.org/abs/1309.5148

F. Long, V. Ganesh, M. Carbin, S. Sidiroglou, and M. Rinard, Automatic input rectification, 2012 34th International Conference on Software Engineering (ICSE), 2012.
DOI : 10.1109/ICSE.2012.6227204
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.7114

F. Long and M. C. Rinard, Prophet: Automatic Patch Generation via Learning From Successful Patches, Proceedings of the Symposium on Principles of Programming Languages, 2016.

F. Long and M. C. Rinard, Staged program repair with condition synthesis, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, 2015.
DOI : 10.1109/32.988498
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.9059

F. Long, S. Sidiroglou-douskos, D. Kim, and M. Rinard, Sound input filter generation for integer overflow errors, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.439-452, 2014.
DOI : 10.1145/2535838.2535888
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.9341

F. Long, S. Sidiroglou-douskos, and M. C. Rinard, Automatic Runtime Error Repair and Containment via Recovery Shepherding, ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014.
DOI : 10.1145/2666356.2594337
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.2219

M. Malik, J. Siddiqi, and S. Khurshid, Constraint-based program debugging using data structure repair, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, pp.190-199
DOI : 10.1109/ICST.2011.65

S. L. Marcote and M. Monperrus, Automatic Repair of Infinite Loops, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01144026

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, 2016.
DOI : 10.1109/ICSE.2015.101
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, 2013.
DOI : 10.1109/TSE.2005.63
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, 2014.
DOI : 10.1145/2591062.2591114
URL : https://hal.archives-ouvertes.fr/hal-00965410

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

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

I. Medeiros, N. F. Neves, and M. Correia, Automatic detection and correction of web application vulnerabilities using data mining to predict false positives, Proceedings of the 23rd international conference on World wide web, WWW '14, pp.63-74, 2014.
DOI : 10.1145/2566486.2568024

A. M. Memon, Automatically repairing event sequence-based GUI test suites for regression testing, Acm transactions on software engineering and methodology 18, p.4, 2008.
DOI : 10.1145/1416563.1416564
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.594.5804

N. Meng, M. Kim, and K. S. Mckinley, Lase: Locating and applying systematic edits by learning from examples, 2013 35th International Conference on Software Engineering (ICSE), pp.502-511
DOI : 10.1109/ICSE.2013.6606596
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.3784

N. Meng, M. Kim, and K. S. Mckinley, Systematic Editing: Generating Program Transformations From An Example, Proceedings of the 32Nd ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.329-342, 2011.

M. G. Merideth, Enhancing Survivability with Proactive Fault-containment, The 2003 International Conference on Dependable Systems and Networks, 2003.

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-5123, 1992.
DOI : 10.1109/2.161279
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7831

M. Monperrus, A Critical Review ofAutomatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair, Proceedings of the international conference on software engineering, pp.234-242, 2014.

M. Monperrus, Principles of Antifragile Software, Proceedings of the International Conference on the Art, Science, and Engineering of Programming , Programming '17, 2014.
DOI : 10.1145/800027.808468
URL : https://hal.archives-ouvertes.fr/hal-00978310

P. Muntean, V. K. Kommanapalli, A. Ibing, and C. Eckert, Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT, International Conference on Computer Safety, Reliability & Security (SAFECOMP'15), 2015.
DOI : 10.1109/IAS.2007.87

C. Nentwich, W. Emmerich, and A. Finkelstein, Consistency management with repair actions, 25th International Conference on Software Engineering, 2003. Proceedings., pp.455-464, 2003.
DOI : 10.1109/ICSE.2003.1201223
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.5741

H. D. Nguyen, D. Qi, A. Roychoudhury, and S. Chandra, SemFix: Program repair via semantic analysis, 2013 35th International Conference on Software Engineering (ICSE), 2013.
DOI : 10.1109/ICSE.2013.6606623
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.1286

H. H. Nguyen and M. Rinard, Detecting and eliminating memory leaks using cyclic memory allocation, Proceedings of the 6th international symposium on Memory management , ISMM '07, pp.15-30, 2007.
DOI : 10.1145/1296907.1296912
URL : http://cag.csail.mit.edu/~rinard/paper/ismm07.ps

M. Nica, S. Nica, and F. Wotawa, On the use of mutations and testing for debugging, Software: Practice and Experience, vol.135, issue.1-2, pp.1121-1142, 2013.
DOI : 10.1016/S0004-3702(01)00161-8

G. Novark, E. Berger, and B. Zorn, Exterminator: Automatically Correcting Memory Errors with High Probability, Acm sigplan notices 42, pp.1-11, 2007.

V. Oliveira, E. Souza, C. L. Goues, and C. G. Camilo, Improved Crossover Operators for Genetic Programming for Program Repair, Proceedings of the 8th international symposium on search based software engineering, 2016.
DOI : 10.1109/ICSE.2009.5070536

Y. Padioleau, J. Lawall, R. Hansen, and G. Muller, Documenting and Automating Collateral Evolutions in Linux Device Drivers Acm sigops operating systems review 42, pp.247-260, 2008.
DOI : 10.1145/1357010.1352618

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, p.87, 2009.
DOI : 10.1145/1629575.1629585
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.4523

B. Pernici and A. M. Rosati, Automatic Learning of Repair Strategies for Web Services, Fifth European Conference on Web Services (ECOWS'07), pp.119-128, 2007.
DOI : 10.1109/ECOWS.2007.13

M. Pezzè, M. C. Rinard, W. Weimer, and A. Zeller, Self-Repairing Programs, 2011.

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

Y. Qi, X. Mao, and Y. Lei, Program Repair As Sound Optimization of Broken Programs, International Symposium on Theoretical Aspects of Software Engineering, 2009.

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
DOI : 10.1109/ICSE.2009.5070536

F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou, Rx: Treating Bugs As Allergies?a Safe Method to Survive Software Failures " . In: Acm sigops operating systems review 39, pp.235-248, 2005.

B. Randell, System Structure for Software Fault Tolerance, Ieee transactions on software engineering, pp.220-232, 1975.
DOI : 10.1007/978-3-642-82470-8_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.578

M. Rinard, C. Cadar, D. Dumitran, D. Roy, T. Leu et al., Enhancing Server Availability and Security Through Failure-oblivious Computing, Proceedings of the 6th Conference on Symposium on Operating Systems, Design & Implementation, pp.21-21, 2004.

M. Rinard, M. Ernst, and J. Perkins, Collaborative Learning for Security and Repair in Application Communities, 2011.

M. Rinard, Acceptability-oriented Computing, Acm sigplan notices 38, pp.57-75, 2003.
DOI : 10.1145/949344.949402
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.4851

M. C. Rinard, Survival Techniques for Computer Programs, 2006.

M. Rinard, C. Cadar, D. Dumitran, D. M. Roy, and T. Leu, A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors), 20th Annual Computer Security Applications Conference, pp.82-90, 2004.
DOI : 10.1109/CSAC.2004.2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.189.1842

J. Rohr, STAREX SELF-REPAIR ROUTINES: SOFTWARE RECOVERY IN THE JPL-STAR COMPUTER, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'., 1973.
DOI : 10.1109/FTCSH.1995.532635

R. Samanta, O. Olivo, and E. A. Emerson, Cost-Aware Automatic Program Repair, International static analysis symposium, pp.268-284, 2014.
DOI : 10.1007/978-3-319-10936-7_17
URL : http://arxiv.org/abs/1307.7281

H. Samimi, M. Schäfer, S. Artzi, T. D. Millstein, F. Tip et al., Automated repair of HTML generation errors in PHP applications using string constraint solving, 2012 34th International Conference on Software Engineering (ICSE), pp.277-287
DOI : 10.1109/ICSE.2012.6227186

E. Schulte, S. Forrest, and W. Weimer, Automated program repair through the evolution of assembly code, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.313-316, 2010.
DOI : 10.1145/1858996.1859059

A. Sethi, A Survey of Fault Localization Techniques in Computer Networks, Science of computer programming 53, pp.165-194, 2004.

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
DOI : 10.1109/DSN.2014.25

M. Shaw, "Self-healing": softening precision to avoid brittleness, Proceedings of the first workshop on Self-healing systems , WOSS '02, pp.111-114, 2002.
DOI : 10.1145/582128.582152
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.6806

S. Sicard, F. Boyer, and N. Palma, Using components for architecture-based management, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.101-110, 2008.
DOI : 10.1145/1368088.1368103

S. Sidiroglou and A. Keromytis, Countering Network Worms Through Automatic Patch Generation, IEEE Security and Privacy Magazine, vol.3, issue.6, pp.41-49, 2005.
DOI : 10.1109/MSP.2005.144
URL : http://academiccommons.columbia.edu/download/fedora_content/download/ac:109722/CONTENT/cucs-029-03.pdf

S. Sidiroglou, O. Laadan, C. Perez, N. Viennot, J. Nieh et al., Assure: Automatic Software Self-healing Using Rescue Points, Acm sigplan notices 44, pp.37-48, 2009.

S. Sidiroglou, M. Locasto, S. Boyd, and A. Keromytis, Building a Reactive Immune System for Software Services, Proceedings of the USENIX Annual Technical Conference, 2005.

S. Sidiroglou-douskos, E. Lahtinen, F. Long, and M. Rinard, Automatic Error Elimination by Horizontal Code Transfer Across Multiple Applications, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation . 2015, pp.43-54
DOI : 10.1145/2813885.2737988
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.6810

S. Sidiroglou-douskos, S. Misailovic, H. Hoffmann, and M. Rinard, Managing performance vs. accuracy trade-offs with loop perforation, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, pp.124-134, 2011.
DOI : 10.1145/2025113.2025133

J. Silva, A Survey on Algorithmic Debugging Strategies Advances in engineering software 42, pp.976-991, 2011.

M. A. Da-silva, A. Mougenot, X. Blanc, and R. Bendraou, Towards Automated Inconsistency Handling in Design Models, Proceedings of the 22nd International Conference on Advanced Information Systems Engineering, pp.348-362, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01292626

R. Singh, S. Gulwani, and A. Solar-lezama, Automated feedback generation for introductory programming assignments, ACM SIGPLAN Notices, vol.48, issue.6, pp.15-26, 2013.
DOI : 10.1145/2499370.2462195
URL : http://arxiv.org/abs/1204.1751

A. Smirnov and T. Chiueh, DIRA: Automatic Detection, Identification, and Repair of Control-hijacking Attacks, The 12th Annual Network and Distributed System Security Symposium, 2005.

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.1109/ICSE.2015.101

A. Somayaji, S. Hofmeyr, and S. Forrest, Principles of a computer immune system, Proceedings of the 1997 workshop on New security paradigms , NSPW '97, pp.75-82, 1998.
DOI : 10.1145/283699.283742

S. Son, K. S. Mckinley, and V. Shmatikov, Fix Me Up: Repairing Access-Control Bugs in Web Applications, Proceedings of the Network and Distributed System Security Symposium, 2013.

H. Sözer, B. Tekinerdo?an, and M. Ak?it, FLORA: a Framework for Decomposing Software Architecture to Introduce Local Recovery In: Software: practice and experience 39, pp.869-889, 2009.

M. Staats, M. W. Whalen, and M. P. Heimdahl, Programs, tests, and oracles, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.391-400, 2011.
DOI : 10.1145/1985793.1985847

M. Stumptner and F. Wotawa, A Model-based Approach to Software Debugging, Proceedings on the Seventh International Workshop on Principles of Diagnosis, 1996.

B. Sun, R. Chang, X. Chen, and A. Podgurski, Automated Support for Propagating Bug Fixes, 2008 19th International Symposium on Software Reliability Engineering (ISSRE), pp.187-196, 2008.
DOI : 10.1109/ISSRE.2008.29

B. Sun, G. Shu, A. Podgurski, S. Li, S. Zhang et al., Propagating Bug Fixes with Fast Subgraph Matching, 2010 IEEE 21st International Symposium on Software Reliability Engineering, pp.21-30, 2010.
DOI : 10.1109/ISSRE.2010.36

G. J. Sussman, Building Robust Systems An Essay, 2007.

S. Tallam, C. Tian, R. Gupta, and X. Zhang, Avoiding Program Failures Through Safe Execution Perturbations, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008.
DOI : 10.1109/COMPSAC.2008.23
URL : http://alumni.cs.ucr.edu/~tianc/publications/compsac08.pdf

S. H. Tan and A. Roychoudhury, relifix: Automated Repair of Software Regressions, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015.
DOI : 10.1109/ICSE.2015.65

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
DOI : 10.1037/h0031619

S. Thomas and L. Williams, Using Automated Fix Generation to Secure SQL Statements, Third International Workshop on Software Engineering for Secure Systems (SESS'07: ICSE Workshops 2007), p.9, 2007.
DOI : 10.1109/SESS.2007.12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.6949

W. Torres-pomales, Software Fault Tolerance: a Tutorial, 2000.

J. Tran, M. Godfrey, E. Lee, and R. Holt, Architectural repair of open source software, Proceedings IWPC 2000. 8th International Workshop on Program Comprehension, pp.48-59, 2000.
DOI : 10.1109/WPC.2000.852479

K. Tsipenyuk, B. Chess, and G. Mcgraw, Seven Pernicious Kingdoms: A Taxonomy of Software Security Errors, IEEE Security and Privacy Magazine, vol.3, issue.6, pp.81-84, 2005.
DOI : 10.1109/MSP.2005.159

F. Wang and C. Cheng, Program Repair Suggestions from Graphical State-Transition Specifications, Proceedings of FORTE 2008, 2008.
DOI : 10.1007/978-3-540-71209-1_35
URL : http://cc.ee.ntu.edu.tw/~farn/publications/farn.forte08.pdf

T. Wang, C. Song, and W. Lee, Diagnosis and Emergency Patch Generation for Integer Overflow Exploits, Detection of Intrusions and Malware, and Vulnerability Assessment, pp.255-275, 2014.
DOI : 10.1007/978-3-319-08509-8_14

X. Wang, L. Zhang, T. Xie, Y. Xiong, and H. Mei, Automating presentation changes in dynamic web applications via collaborative hybrid analysis, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE '12, p.16
DOI : 10.1145/2393596.2393614
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.261.1138

Y. Wang, Y. Huang, and C. Kintala, Progressive Retry for Software Failure Recovery in Message-passing Applications, Ieee transactions on computers 46, pp.1137-1141, 1997.

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

W. Weimer, T. Nguyen, C. L. Goues, and S. Forrest, Automatically finding patches using genetic programming, 2009 IEEE 31st International Conference on Software Engineering, 2009.
DOI : 10.1109/ICSE.2009.5070536
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.8995

W. Weimer, Patches as better bug reports, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, 2006.
DOI : 10.1145/1173706.1173734
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.1983

W. Weimer, S. Forrest, C. L. Goues, and T. Nguyen, Automatic program repair with evolutionary computation, Communications of the ACM, vol.53, issue.5, p.109, 2010.
DOI : 10.1145/1735223.1735249
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.170.188

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.5263

W. Wong and V. Debroy, A Survey on Software Fault Localization, IEEE Transactions on Software Engineering, vol.42, issue.8, pp.45-54, 2009.
DOI : 10.1109/TSE.2016.2521368

Y. Xiong, Z. Hu, H. Zhao, H. Song, M. Takeichi et al., Supporting automatic model inconsistency fixing, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.315-324, 2009.
DOI : 10.1145/1595696.1595757

Y. Xiong, H. Zhang, A. Hubaux, S. She, J. Wang et al., Range Fixes: Interactive Error Resolution for Software Configuration, Ieee transactions on software engineering 41, pp.603-619, 2015.
DOI : 10.1109/TSE.2014.2383381
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.682.7546

A. Zeller, Y. Wei, B. Meyer, M. Nordio, C. A. Furia et al., Automated Fixing of Programs with Contracts, Ieee transactions on software engineering 40, pp.427-449, 2014.

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.2976

Y. Zhang and Y. Ding, CTL Model Update for System Modifications, Journal of artificial intelligence research, vol.311, pp.113-155, 2008.

H. Zhong and Z. Su, An Empirical Study on Real Bug Fixes, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015.
DOI : 10.1109/ICSE.2015.101
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.3715

F. Zhou, J. Condit, Z. Anderson, I. Bagrak, R. Ennals et al., SafeDrive: Safe and Recoverable Extensions Using Language-based Techniques, Proceedings of the 7th Symposium on Operating Systems Design and Implementation, pp.45-60, 2006.