BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
program repair
Google program repair

Tag #program repair

73 papers:

ICSMEICSME-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.
SANERSANER-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.
SANERSANER-2019-WhiteTMMP #learning #sorting
Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities (MW, MT, MM, MM, DP), pp. 479–490.
ASEASE-2019-Ghanbari #automation #towards
Toward Practical Automatic Program Repair (AG), pp. 1262–1264.
ASEASE-2019-GhanbariZ #bytecode #named
PraPR: Practical Program Repair via Bytecode Mutation (AG, LZ), pp. 1118–1121.
ASEASE-2019-HuAMLR #programming
Re-Factoring Based Program Repair Applied to Programming Assignments (YH, UZA, SM, BL, AR), pp. 388–398.
ASEASE-2019-Soto #automation #component #quality
Improving Patch Quality by Enhancing Key Components of Automatic Program Repair (MS), pp. 1230–1233.
ESEC-FSEESEC-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-FSEESEC-FSE-2019-Ginelli
Failure-driven program repair (DG), pp. 1156–1159.
ESEC-FSEESEC-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.
ICSTICST-2019-KhaireddineMM #fault
Program Repair at Arbitrary Fault Depth (BK, MM, AM), pp. 465–472.
ICSTICST-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.
VMCAIVMCAI-2019-NguyenTC #automation #using #verification
Automatic Program Repair Using Formal Verification and Expression Templates (TTN, QTT, WNC), pp. 70–91.
ICPCICPC-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.
ICSMEICSME-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.
MSRMSR-2018-SotoG #automation
Common statement kind changes to inform automatic program repair (MS, CLG), pp. 102–105.
SANERSANER-2018-LiuZ #mining #stack overflow
Mining stackoverflow for program repair (XL, HZ), pp. 118–129.
PLDIPLDI-2018-GulwaniRZ #automation #clustering #programming
Automated clustering and program repair for introductory programming assignments (SG, IR, FZ), pp. 465–480.
ESEC-FSEESEC-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-FSEESEC-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.
ICSTICST-2018-MehneYPSGK #search-based
Accelerating Search-Based Program Repair (BM, HY, MRP, KS, DG, SK), pp. 227–238.
ICSMEICSME-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.
ASEASE-2017-Chen0F #contract
Contract-based program repair without the contracts (LC, YP0, CAF), pp. 637–647.
ASEASE-2017-Nielebock #automation #towards
Towards API-specific automatic program repair (SN0), pp. 1010–1013.
ASEASE-2017-SahaLYP #effectiveness #named #object-oriented
ELIXIR: effective object oriented program repair (RKS, YL, HY, MRP), pp. 648–659.
ASEASE-2017-XinR #automation
Leveraging syntax-related code for automated program repair (QX, SPR), pp. 660–670.
ESEC-FSEESEC-FSE-2017-Schramm #automation #heuristic #performance #using
Improving performance of automatic program repair using learned heuristics (LS), pp. 1071–1073.
ESEC-FSEESEC-FSE-2017-YangZLT #automation #testing
Better test cases for better automated program repair (JY0, AZ, YL, LT0), pp. 831–841.
ESEC-FSEESEC-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.
ICSMEICSME-2016-LeLG #empirical #semantics #synthesis
Empirical Study on Synthesis Engines for Semantics-Based Program Repair (XBDL, DL0, CLG), pp. 423–427.
ICSMEICSME-2016-LeLLG #automation #deduction #verification
Enhancing Automated Program Repair with Deductive Verification (XBDL, QLL, DL0, CLG), pp. 428–432.
SANERSANER-2016-LeLG
History Driven Program Repair (XBDL, DL0, CLG), pp. 213–224.
FMFM-2016-RothenbergG
Sound and Complete Mutation-Based Program Repair (BCR, OG), pp. 593–611.
ASEASE-2016-Le #automation #effectiveness #performance #towards
Towards efficient and effective automatic program repair (XBDL), pp. 876–879.
FSEFSE-2016-TanYPR #search-based
Anti-patterns in search-based program repair (SHT, HY, MRP, AR), pp. 727–738.
CAVCAV-2016-DAntoniSS #named
Qlose: Program Repair with Quantitative Objectives (LD, RS, RS), pp. 383–401.
VLDBVLDB-2015-OrtonaOBF #named
WADaR: Joint Wrapper and Data Repair (SO, GO, MB, TF), pp. 1996–2007.
ICSMEICSME-2015-SumiHHK #automation #towards
Toward improving graftability on automated program repair (SS, YH, KH, SK), pp. 511–515.
ESEC-FSEESEC-FSE-2015-LongR #staged #synthesis
Staged program repair with condition synthesis (FL, MR), pp. 166–178.
ESEC-FSEESEC-FSE-2015-SmithBGB #automation
Is the cure worse than the disease? overfitting in automated program repair (EKS, ETB, CLG, YB), pp. 532–543.
ICSEICSE-v1-2015-MechtaevYR #named
DirectFix: Looking for Simple Program Repairs (SM, JY, AR), pp. 448–458.
ICSEICSE-v2-2015-PeiFNM #automation #development #ide
Automated Program Repair in an Integrated Development Environment (YP, CAF, MN, BM), pp. 681–684.
CAVCAV-2015-ReinkingP #approach
A Type-Directed Approach to Program Repair (AR, RP), pp. 511–517.
CAVCAV-2015-KneussKK #deduction
Deductive Program Repair (EK, MK, VK), pp. 217–233.
SIGMODSIGMOD-2014-WangT #towards
Towards dependable data repairing with fixing rules (JW, NT), pp. 457–468.
SASSAS-2014-SamantaOE #automation #cost analysis
Cost-Aware Automatic Program Repair (RS, OO, EAE), pp. 268–284.
ICSEICSE-2014-QiMLDW #automation #random
The strength of random search on automated program repair (YQ, XM, YL, ZD, CW), pp. 254–265.
FASEFASE-2014-PeiFNM #automation #contract
Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.
ICSMEICSM-2013-QiML #automation #performance #testing
Efficient Automated Program Repair through Fault-Recorded Testing Prioritization (YQ, XM, YL), pp. 180–189.
ASEASE-2013-WeimerFF #adaptation #equivalence #modelling
Leveraging program equivalence for adaptive program repair: Models and first results (WW, ZPF, SF), pp. 356–366.
ICSEICSE-2013-NguyenQRC #analysis #named #semantics
SemFix: program repair via semantic analysis (HDTN, DQ, AR, SC), pp. 772–781.
CAVCAV-2013-EssenJ
Program Repair without Regret (CvE, BJ), pp. 896–911.
ISSTAISSTA-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.
OOPSLAOOPSLA-2012-LogozzoB #automation #composition
Modular and verified automatic program repair (FL, TB), pp. 133–146.
ICSEICSE-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.
SIGMODSIGMOD-2011-FanLMTY #interactive
Interaction between record matching and data repairing (WF, JL, SM, NT, WY), pp. 469–480.
VLDBVLDB-2011-YakoutENOI
Guided data repair (MY, AKE, JN, MO, IFI), pp. 279–289.
TACASTACAS-2011-GopinathMK #satisfiability #using
Specification-Based Program Repair Using SAT (DG, MZM, SK), pp. 173–188.
SIGMODSIGMOD-2010-YakoutENO #named
GDR: a system for guided data repair (MY, AKE, JN, MO), pp. 1223–1226.
ASEASE-2010-SchulteFW #assembly #automation #evolution
Automated program repair through the evolution of assembly code (ES, SF, WW), pp. 313–316.
ICSTICST-2008-HarmanA #automation #testing #web
Automated Session Data Repair for Web Application Regression Testing (MH, NA), pp. 298–307.
CAVCAV-2005-JobstmannGB #game studies
Program Repair as a Game (BJ, AG, RB), pp. 226–238.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.