Filters








75,224 Hits in 2.1 sec

Automated Clustering and Program Repair for Introductory Programming Assignments [article]

Sumit Gulwani, Ivan Radiček, Florian Zuleger
2018 arXiv   pre-print
In this paper, we present a novel fully automated program repair algorithm for introductory programming assignments.  ...  Previous research has suggested that program repair techniques can be used to generate feedback in programming education.  ...  automated program repair.  ... 
arXiv:1603.03165v4 fatcat:dcsq46247nbwzblkuqna2hunhm

Automated program repair: a step towards software automation

Abhik Roychoudhury, Yingfei Xiong
2019 Science China Information Sciences  
This makes the prospect of automated program repair particularly attractive in future software development.  ...  Classic automated repair techniques aim to modify a buggy program to meet a given correctness criterion; the correctness criterion is often given as a test-suite.  ... 
doi:10.1007/s11432-019-9947-6 fatcat:kbm5rezzs5hr5ejj366zol7v7e

Automated model repair for distributed programs

Borzoo Bonakdarpour, Sandeep S. Kulkarni
2012 ACM SIGACT News  
Automated model repair is a relatively new area of research. Model repair with respect to Computation Tree Logic (CTL) properties was first considered in [22] using AI techniques.  ...  Model repair in other contexts includes the work in [10] for probabilistic systems and in [53] for Boolean programs.  ...  The second step can be automated by considering different possible orders among constraints.  ... 
doi:10.1145/2261417.2261437 fatcat:pd7x3tix7betlauu4medbblvlu

Automated Patch Assessment for Program Repair at Scale [article]

He Ye, Matias Martinez, Martin Monperrus
2019 arXiv   pre-print
In this paper, we do automatic correctness assessment for patches generated by program repair techniques.  ...  We build a curated dataset of 638 patches for Defects4J generated by 14 state-of-the-art repair systems.  ...  This result confirms the difficulty of manual patch assessment and strongly suggests to use automated patch assessment in program repair research.  ... 
arXiv:1909.13694v2 fatcat:vhv3x6ocyffhpgzwfxtebjpn2q

Automated clustering and program repair for introductory programming assignments

Sumit Gulwani, Ivan Radiček, Florian Zuleger
2018 Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018  
In this paper, we present a novel fully automated program repair algorithm for introductory programming assignments.  ...  Previous research has suggested that program repair techniques can be used to generate feedback in programming education.  ...  automated program repair.  ... 
doi:10.1145/3192366.3192387 dblp:conf/pldi/GulwaniRZ18 fatcat:snqnsyss25aizi46qd4q5fsajy

Can Automated Program Repair Refine Fault Localization? [article]

Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Dan Hao, Lu Zhang
2019 arXiv   pre-print
Therefore, a large body of research efforts have been dedicated to automated software debugging, including both automated fault localization and program repair.  ...  Although fault localization and program repair are inherently connected, we observe that in the literature their only connection is that program repair techniques usually use off-the-shelf fault localization  ...  CONCLUSION We have investigated a simple question: can automated program repair help with fault localization?  ... 
arXiv:1910.01270v1 fatcat:iuj4uouxkbgv7euj2tq3wrxuem

Enhancing Automated Program Repair with Deductive Verification

Xuan-Bach D. Le, Quang Loc Le, David Lo, Claire Le Goues
2016 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME)  
We present an automated repair method based on structured specifications, deductive verification and genetic programming.  ...  Automated program repair (APR) is a challenging process of detecting bugs, localizing buggy code, generating fix candidates and validating the fixes.  ...  Index Terms-Automated Repair, Genetic Programming, Deductive Verification, Sound Repair I.  ... 
doi:10.1109/icsme.2016.66 dblp:conf/icsm/LeLLG16 fatcat:dntevg7uwvditgsb3zllvbogeu

Toward improving graftability on automated program repair

Soichi Sumi, Yoshiki Higo, Keisuke Hotta, Shinji Kusumoto
2015 2015 IEEE International Conference on Software Maintenance and Evolution (ICSME)  
Program debugging is a costly and difficult task. Automated program repair is a promising way to reduce costs on program debugging dramatically.  ...  Several repair techniques reusing existing code lines have been proposed in the past.  ...  Generally, in automated program repair, code lines are reused as they are.  ... 
doi:10.1109/icsm.2015.7332504 dblp:conf/icsm/SumiHHK15 fatcat:3vci2t5il5huzhvra5opvd5w2i

TBar: revisiting template-based automated program repair

Kui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F. Bissyandé
2019 Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019  
KEYWORDS Automated program repair, fix pattern, empirical assessment.  ...  Based on the investigation, we build TBar, a straightforward APR tool that systematically attempts to apply these fix patterns to program bugs.  ...  INTRODUCTION Automated Program Repair (APR) has progressively become an essential research field.  ... 
doi:10.1145/3293882.3330577 dblp:conf/issta/LiuK0B19 fatcat:qufmvvqtljc5ddggt4m6zf3b6m

Overfitting in semantics-based automated program repair

Xuan Bach D. Le, Ferdian Thung, David Lo, Claire Le Goues
2018 Empirical Software Engineering  
The primary goal of Automated Program Repair (APR) is to automatically fix buggy software, to reduce the manual bug-fix burden that presently rests on human developers.  ...  A repair technique may generate overfitting patches, which lead a program to pass all existing test cases, but fails to generalize beyond them.  ...  Introduction Automated program repair (APR) addresses an important challenge in software engineering.  ... 
doi:10.1007/s10664-017-9577-2 fatcat:t52pday2kjc3vdgktv42c2ozb4

TBar: Revisiting Template-based Automated Program Repair [article]

Kui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F. Bissyandé
2019 arXiv   pre-print
Fix patterns (a.k.a fix templates) are the main ingredients that drive a significant portion of automated program repair (APR) studies in the literature.  ...  Based on the investigation, we build TBar, a straightforward APR tool that systematically attempts to apply these fix patterns to program bugs. We thoroughly evaluate TBar on the Defects4J benchmark.  ...  INTRODUCTION Automated Program Repair (APR) has progressively become an essential research field in software maintenance.  ... 
arXiv:1903.08409v1 fatcat:6a6hhsk4pva6hkzq2vqdlso7s4

Fault localization for automated program repair: effectiveness, performance, repair correctness

Fatmah Yousef Assiri, James M. Bieman
2016 Software quality journal  
Automated program repair (APR) tools apply fault localization (FL) techniques to identify the locations of likely faults to be repaired.  ...  Siemens Suite and two other large programs: space and sed.  ...  Program Repair (APR) Automated program repair (APR) techniques locate and fix faults.  ... 
doi:10.1007/s11219-016-9312-z fatcat:5por6fjurzgiznq77wtt3mbbim

RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair [article]

Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia
2020 arXiv   pre-print
In contrast, most automated program repair tools use standard fault localization techniques---which are not tightly integrated with the overall program repair process, and hence deliver only subpar efficiency  ...  Fault localization is a crucial step of automated program repair, because accurately identifying program locations that are most closely implicated with a fault greatly affects the effectiveness of the  ...  Basic Automated Program Repair This section describes the basic process of automated program repair-as implemented in generate-and-validate repair tools such as JAID and RESTORE.  ... 
arXiv:1906.01778v3 fatcat:75ichkdh2vaxvo3yzlo2lr7gy4

E-APR: Mapping the Effectiveness of Automated Program Repair [article]

Aldeida Aleti, Matias Martinez
2020 arXiv   pre-print
Automated Program Repair (APR) is a fast growing area with many new techniques being developed to tackle one of the most challenging software engineering problems.  ...  Finally, e-APR could be integrated to repair infrastructures and repair bots to choose, given a buggy program, the most suitable APR tool.  ...  This would increase the effectiveness if automated program repair in general.  ... 
arXiv:2002.03968v1 fatcat:5stzopzkkzdm3hyi6wcehc47ge

DroidBugs: An Android Benchmark for Automated Program Repair [article]

Larissa Azevedo and Altino Dantas and Celso G. Camilo-Junior
2018 arXiv   pre-print
Automated Program Repair (APR) is an emerging research field. Many APR techniques, for different programming language and platforms, have been proposed and evaluated on several Benchmarks.  ...  Hence, applications on Android must be also maintained by Automated Program Repair approaches.  ...  CONCLUSION Automated Program Repair (APR) is a recent research field that have gained attention in last years.  ... 
arXiv:1809.07353v2 fatcat:yazhg5g6bzev3hcpxlzvr53yse
« Previous Showing results 1 — 15 out of 75,224 results