Tag #program repair
73 papers:
ICSME-2019-AsadGS #automation #impact analysis #semantics- Impact Analysis of Syntactic and Semantic Similarities on Patch Prioritization in Automated Program Repair (MA, KKG, KS), pp. 328–332.
SANER-2019-DelfimUMM #automation #benchmark #debugging #java #metric #named- BEARS: An Extensible Java Bug Benchmark for Automatic Program Repair Studies (FM, SU, MdAM, MM), pp. 468–478.
- SANER-2019-WhiteTMMP #learning #sorting
- Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities (MW, MT, MM, MM, DP), pp. 479–490.
ASE-2019-Ghanbari #automation #towards- Toward Practical Automatic Program Repair (AG), pp. 1262–1264.
- ASE-2019-GhanbariZ #bytecode #named
- PraPR: Practical Program Repair via Bytecode Mutation (AG, LZ), pp. 1118–1121.
- ASE-2019-HuAMLR #programming
- Re-Factoring Based Program Repair Applied to Programming Assignments (YH, UZA, SM, BL, AR), pp. 388–398.
- ASE-2019-Soto #automation #component #quality
- Improving Patch Quality by Enhancing Key Components of Automatic Program Repair (MS), pp. 1230–1233.
ESEC-FSE-2019-DurieuxDMA #debugging #empirical #java #overview #scalability #tool support- Empirical review of Java program repair tools: a large-scale experiment on 2, 141 bugs and 23, 551 repair attempts (TD, FM, MM, RA), pp. 302–313.
- ESEC-FSE-2019-Ginelli
- Failure-driven program repair (DG), pp. 1156–1159.
- ESEC-FSE-2019-KoyuncuLB0MKT #debugging #named
- iFixR: bug report driven program repair (AK, KL0, TFB, DK0, MM, JK, YLT), pp. 314–325.
- ICSE-2019-SahaSP #evolution #multi
- Harnessing evolution for multi-hunk program repair (SS, RKS, MRP), pp. 13–24.
- ICSE-2019-XuSYX #named #null #pointer #precise
- VFix: value-flow-guided precise program repair for null pointer dereferences (XX, YS, HY, JX), pp. 512–523.
ICST-2019-KhaireddineMM #fault- Program Repair at Arbitrary Fault Depth (BK, MM, AM), pp. 465–472.
- ICST-2019-LiuKB0KT #automation #benchmark #bias #exclamation #fault #locality #metric #what
- You Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair Systems (KL0, AK, TFB, DK0, JK, YLT), pp. 102–113.
VMCAI-2019-NguyenTC #automation #using #verification- Automatic Program Repair Using Formal Verification and Expression Templates (TTN, QTT, WNC), pp. 70–91.
ICPC-2018-NaitouTMHKKKT #automation #development #industrial #towards- Toward introducing automated program repair techniques to industrial software development (KN, AT, SM, YH, SK, HK, TK, HT), pp. 332–335.
- ICSME-2018-GuoMYW #automation #empirical #performance #slicing
- An Empirical Study on the Effect of Dynamic Slicing on Automated Program Repair Efficiency (AG, XM, DY, SW), pp. 554–558.
MSR-2018-SotoG #automation- Common statement kind changes to inform automatic program repair (MS, CLG), pp. 102–105.
- SANER-2018-LiuZ #mining #stack overflow
- Mining stackoverflow for program repair (XL, HZ), pp. 118–129.
PLDI-2018-GulwaniRZ #automation #clustering #programming- Automated clustering and program repair for introductory programming assignments (SG, IR, FZ), pp. 465–480.
- ESEC-FSE-2018-HuaZWK #approach #automation #generative #lazy evaluation #named #sketching #using
- SketchFix: a tool for automated program repair approach using lazy candidate generation (JH, MZ, KW, SK), pp. 888–891.
- ESEC-FSE-2018-WongMK #automation #configuration management #execution #higher-order #mutation testing #testing
- Beyond testing configurable systems: applying variational execution to automatic program repair and higher order mutation testing (CPW, JM, CK), pp. 749–753.
- ICSE-2018-HuaZWK #generative #on-demand #towards
- Towards practical program repair with on-demand candidate generation (JH, MZ, KW, SK), pp. 12–23.
- ICSE-2018-LeTLG #automation #semantics
- Overfitting in semantics-based automated program repair (XBDL, FT, DL0, CLG), p. 163.
- ICSE-2018-MechtaevNNGR #implementation #semantics #using
- Semantic program repair using a reference implementation (SM, MDN, YN, LG, AR), pp. 129–139.
- ICSE-2018-MotwaniSJB #automation #debugging #question
- Do automated program repair techniques repair hard and important bugs? (MM, SS, RJ, YB), p. 25.
- ICSE-2018-TonderG #automation
- Static automated program repair for heap properties (RvT, CLG), pp. 151–162.
- ICSE-2018-WenCWHC #automation #generative
- Context-aware patch generation for better automated program repair (MW, JC0, RW, DH, SCC), pp. 1–11.
- ICSE-2018-XiongLZ00 #correctness #identification
- Identifying patch correctness in test-based program repair (YX, XL, MZ, LZ0, GH0), pp. 789–799.
- ICSE-2018-YiTMBR #automation #correlation #metric #testing
- A correlation study between automated program repair and test-suite metrics (JY, SHT, SM, MB, AR), p. 24.
- ICST-2018-MehneYPSGK #search-based
- Accelerating Search-Based Program Repair (BM, HY, MRP, KS, DG, SK), pp. 227–238.
- ICSME-2017-YangQM #automation #empirical #fault #locality
- An Empirical Study on the Usage of Fault Localization in Automated Program Repair (DY, YQ, XM), pp. 504–508.
- ASE-2017-Chen0F #contract
- Contract-based program repair without the contracts (LC, YP0, CAF), pp. 637–647.
- ASE-2017-Nielebock #automation #towards
- Towards API-specific automatic program repair (SN0), pp. 1010–1013.
- ASE-2017-SahaLYP #effectiveness #named #object-oriented
- ELIXIR: effective object oriented program repair (RKS, YL, HY, MRP), pp. 648–659.
- ASE-2017-XinR #automation
- Leveraging syntax-related code for automated program repair (QX, SPR), pp. 660–670.
- ESEC-FSE-2017-Schramm #automation #heuristic #performance #using
- Improving performance of automatic program repair using learned heuristics (LS), pp. 1071–1073.
- ESEC-FSE-2017-YangZLT #automation #testing
- Better test cases for better automated program repair (JY0, AZ, YL, LT0), pp. 831–841.
- ESEC-FSE-2017-YiAKTR #automation #programming #using
- A feasibility study of using automated program repair for introductory programming assignments (JY, UZA, AK, SHT, AR), pp. 740–751.
- ICSE-2017-XiongWYZH00 #precise #synthesis
- Precise condition synthesis for program repair (YX, JW, RY, JZ, SH, GH0, LZ0), pp. 416–426.
- ICSME-2016-LeLG #empirical #semantics #synthesis
- Empirical Study on Synthesis Engines for Semantics-Based Program Repair (XBDL, DL0, CLG), pp. 423–427.
- ICSME-2016-LeLLG #automation #deduction #verification
- Enhancing Automated Program Repair with Deductive Verification (XBDL, QLL, DL0, CLG), pp. 428–432.
- SANER-2016-LeLG
- History Driven Program Repair (XBDL, DL0, CLG), pp. 213–224.
FM-2016-RothenbergG - Sound and Complete Mutation-Based Program Repair (BCR, OG), pp. 593–611.
- ASE-2016-Le #automation #effectiveness #performance #towards
- Towards efficient and effective automatic program repair (XBDL), pp. 876–879.
FSE-2016-TanYPR #search-based- Anti-patterns in search-based program repair (SHT, HY, MRP, AR), pp. 727–738.
CAV-2016-DAntoniSS #named- Qlose: Program Repair with Quantitative Objectives (LD, RS, RS), pp. 383–401.
VLDB-2015-OrtonaOBF #named- WADaR: Joint Wrapper and Data Repair (SO, GO, MB, TF), pp. 1996–2007.
- ICSME-2015-SumiHHK #automation #towards
- Toward improving graftability on automated program repair (SS, YH, KH, SK), pp. 511–515.
- ESEC-FSE-2015-LongR #staged #synthesis
- Staged program repair with condition synthesis (FL, MR), pp. 166–178.
- ESEC-FSE-2015-SmithBGB #automation
- Is the cure worse than the disease? overfitting in automated program repair (EKS, ETB, CLG, YB), pp. 532–543.
ICSE-v1-2015-MechtaevYR #named- DirectFix: Looking for Simple Program Repairs (SM, JY, AR), pp. 448–458.
- ICSE-v2-2015-PeiFNM #automation #development #ide
- Automated Program Repair in an Integrated Development Environment (YP, CAF, MN, BM), pp. 681–684.
- CAV-2015-ReinkingP #approach
- A Type-Directed Approach to Program Repair (AR, RP), pp. 511–517.
- CAV-2015-KneussKK #deduction
- Deductive Program Repair (EK, MK, VK), pp. 217–233.
SIGMOD-2014-WangT #towards- Towards dependable data repairing with fixing rules (JW, NT), pp. 457–468.
SAS-2014-SamantaOE #automation #cost analysis- Cost-Aware Automatic Program Repair (RS, OO, EAE), pp. 268–284.
- ICSE-2014-QiMLDW #automation #random
- The strength of random search on automated program repair (YQ, XM, YL, ZD, CW), pp. 254–265.
FASE-2014-PeiFNM #automation #contract- Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.
- ICSM-2013-QiML #automation #performance #testing
- Efficient Automated Program Repair through Fault-Recorded Testing Prioritization (YQ, XM, YL), pp. 180–189.
- ASE-2013-WeimerFF #adaptation #equivalence #modelling
- Leveraging program equivalence for adaptive program repair: Models and first results (WW, ZPF, SF), pp. 356–366.
- ICSE-2013-NguyenQRC #analysis #named #semantics
- SemFix: program repair via semantic analysis (HDTN, DQ, AR, SC), pp. 772–781.
- CAV-2013-EssenJ
- Program Repair without Regret (CvE, BJ), pp. 896–911.
ISSTA-2013-QiMLW #automation #effectiveness #fault #locality #using- Using automated program repair for evaluating the effectiveness of fault localization techniques (YQ, XM, YL, CW), pp. 191–201.
OOPSLA-2012-LogozzoB #automation #composition- Modular and verified automatic program repair (FL, TB), pp. 133–146.
- ICSE-2012-GouesDFW #automation #debugging
- A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each (CLG, MDV, SF, WW), pp. 3–13.
- SIGMOD-2011-FanLMTY #interactive
- Interaction between record matching and data repairing (WF, JL, SM, NT, WY), pp. 469–480.
- VLDB-2011-YakoutENOI
- Guided data repair (MY, AKE, JN, MO, IFI), pp. 279–289.
TACAS-2011-GopinathMK #satisfiability #using- Specification-Based Program Repair Using SAT (DG, MZM, SK), pp. 173–188.
- SIGMOD-2010-YakoutENO #named
- GDR: a system for guided data repair (MY, AKE, JN, MO), pp. 1223–1226.
- ASE-2010-SchulteFW #assembly #automation #evolution
- Automated program repair through the evolution of assembly code (ES, SF, WW), pp. 313–316.
- ICST-2008-HarmanA #automation #testing #web
- Automated Session Data Repair for Web Application Regression Testing (MH, NA), pp. 298–307.
- CAV-2005-JobstmannGB #game studies
- Program Repair as a Game (BJ, AG, RB), pp. 226–238.
