Filters








53,351 Hits in 3.5 sec

Automatic Program Repair

Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra
2021 IEEE Software  
Moving forward, we posit that patch quality will be a key issue in program repair, with manual or automated techniques used to enhance patch quality.  ...  Program Repair: A Snapshot The successes of automated program repair, as the field stands today, have been significant.  ... 
doi:10.1109/ms.2021.3072577 fatcat:7z7idpvt4zfanct3sz43vjlhhm

Current challenges in automatic software repair

Claire Le Goues, Stephanie Forrest, Westley Weimer
2013 Software quality journal  
Second, we review related work in the rapidly growing subfield of automatic program repair.  ...  Recent research has made significant progress on the problem of automatic program repair, using techniques such as evolutionary computation, instrumentation and run-time monitoring, and sound synthesis  ...  The problem of creating high-quality test oracles applies here as well.  ... 
doi:10.1007/s11219-013-9208-0 fatcat:g55pwby6vbdhvf3fjyktzjodnq

Automated Program Repair (Dagstuhl Seminar 17022)

Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Marc Herbstritt
2017 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 17022 "Automated Program Repair".  ...  In particular, the seminar covered work related to search-based program repair, semantic program repair, and repair of non-functional properties.  ...  First, current techniques may omit high quality patches during exploration, which results in generation of suboptimal low quality repairs.  ... 
doi:10.4230/dagrep.7.1.19 dblp:journals/dagstuhl-reports/0001GPR17 fatcat:mxuctyhdobgenfezhrndsjoumq

Is the cure worse than the disease? overfitting in automated program repair

Edward K. Smith, Earl T. Barr, Claire Le Goues, Yuriy Brun
2015 Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015  
Automated program repair has shown promise for reducing the significant manual effort debugging requires.  ...  This paper addresses a deficit of earlier evaluations of automated repair techniques caused by repairing programs and evaluating generated patches' correctness using the same set of tests.  ...  INTRODUCTION Automated program repair [4, 13, 17, 18, 26, 28, 29, 32, 36, 37, 39, 39, 43, 46, 47, 50, 55, 58, 60, 61] holds great potential to reduce debugging costs and improve software quality.  ... 
doi:10.1145/2786805.2786825 dblp:conf/sigsoft/SmithBGB15 fatcat:yr2rj5756jearaona7qcxgbbay

Repairing Programs with Semantic Code Search (T)

Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun
2015 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
Automated program repair can potentially reduce debugging costs and improve software quality but recent studies have drawn attention to shortcomings in the quality of automatically generated repairs.  ...  We conclude that SearchRepair produces higher-quality repairs than GenProg, TrpAutoRepair, and AE, and repairs some defects those tools cannot. 2015 30th IEEE/ACM International Conference on Automated  ...  Fully automated repair Today, automated program repair requires the user to write a specification, such as a test suite.  ... 
doi:10.1109/ase.2015.60 dblp:conf/kbse/KeSGB15 fatcat:77udl25o3ffxnol5cvfk4hy5ym

Priority Measurement of Patches for Program Repair Based on Semantic Distance

Yukun Dong, Meng Wu, Li Zhang, Wenjing Yin, Mengying Wu, Haojie Li
2020 Symmetry  
Automated program repair is an effective way to ensure software quality and improve software development efficiency.  ...  Our quality evaluation method evaluated 279 patches from previous program repair tools, including Nopol, DynaMoth, ACS, jGenProg, and CapGen.  ...  Related methods and tools of automated program repair play a key role in ensuring software quality.  ... 
doi:10.3390/sym12122102 fatcat:c56iiimkvbbz3l6zmmyejkpw3e

Recent Developments in the Field of Bug Fixing

Varun Mittal, Shivam Aditya
2015 Procedia Computer Science  
A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each  ...  While these results are only a first step, they have implications for the future of automated program repair.  ... 
doi:10.1016/j.procs.2015.04.184 fatcat:6xmczrspnvb4fg4ra56grysry4

Page 23 of Finishing Today Vol. 77, Issue 11 [page]

2001 Finishing Today  
parts * Rejected parts are expensive to repair or replace * Cost of paint waste disposal is high Source: Scott Baldwin, ABB Flexible Automation/Robotic Industries Association processes, making way for  ...  Manufacturers can expect to see the following trends: automatic path gen- eration, predictive reliability and maintainability, automatic repairs and “self-learning” automation.  ... 

Angelix

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
2016 Proceedings of the 38th International Conference on Software Engineering - ICSE '16  
We also have shown that its promise in its high quality of repairs.  ...  This makes the Angelix repair tool very scalable, Since we used for our experiments the subject programs while generating high quality multi-line repairs. in the existing benchmark previously  ... 
doi:10.1145/2884781.2884807 dblp:conf/icse/MechtaevYR16 fatcat:orx47y2bqfeifntzdjcfubmsgm

On Reliability of Patch Correctness Assessment

Dinh Xuan Bach Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li, Corina Pasareanu
2019 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)  
By measuring inter-rater agreement as a proxy for annotation quality -as commonly done in the literature -we demonstrate that our constructed gold set is on par with other high-quality gold sets.  ...  Current state-of-the-art automatic software repair (ASR) techniques rely heavily on incomplete specifications, or test suites, to generate repairs.  ...  is on par with other high-quality gold sets.  ... 
doi:10.1109/icse.2019.00064 dblp:conf/icse/LeB00LP19 fatcat:7kkxmyrsezaidgkhg2d72vx3nq

Welding process control and automation — results of a questionnaire

1987 Welding International  
The trends in welding automation are reviewed and in particular the techniques for off line and rapid programming of welding robots and on line monitoring and control techniques will be reviewed.  ...  The paper reviews the process control techniques which have been applied to enhance the productivity and quality of welded joints.  ...  on large workpieces Novel programming techniques Repair of worn components by weld build up is often a hardous operation due to use of highly alloyed consumables and high fume levels.  ... 
doi:10.1080/09507118709449361 fatcat:iipvmbvoxzcobgddragndpwl6i

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.  ...  We perform our study using IntroClass and Codeflaws benchmarks, two datasets well-suited for assessing repair quality, to Communicated by: Empir Software Eng systematically characterize and understand  ...  Introduction Automated program repair (APR) addresses an important challenge in software engineering.  ... 
doi:10.1007/s10664-017-9577-2 fatcat:t52pday2kjc3vdgktv42c2ozb4

Applicability of Industrial Robots for Machining and Repair Processes

Eckart Uhlmann, Florian Heitmüller, Marcel Manthei, Sascha Reinkober
2013 Procedia CIRP  
With the aim of (semi-) automating the repair processes an adaptive grinding process for recontouring of turbine blades has been developed.  ...  Defect high value components with a long life-time such as turbine blades and vanes are usually not disposed but rather repaired. Due to the lot size of 1, most of the work is done manually.  ...  Acknowledgements The project has been co-financed by the EU within the 'Europäischer Fond für regionale Entwicklung' (EFRE) program and by the Fraunhofer-Gesellschaft.  ... 
doi:10.1016/j.procir.2013.07.042 fatcat:aro2s77h2bahxezsgpaytmrodu

Obstacles in Fully Automatic Program Repair: A survey [article]

S. Amirhossein Mousavi, Donya Azizi Babani, Francesco Flammini
2020 arXiv   pre-print
As a conclusion, we suggest a shift in the current approach to automatic program repair operations in order to attain our goals. The emphasis of this review is to achieve full automation.  ...  The current article is an interdisciplinary attempt to decipher automatic program repair processes. The review is done by the manner typical to human science known as diffraction.  ...  JAID enables the system to generate high-quality patches, comparable to human-made, and it also decreases the overfitting problem.  ... 
arXiv:2011.02714v1 fatcat:wudep56jqjfa3dgh4zogtmalji

AI for Software Quality Assurance Blue Sky Ideas Talk

Meir Kalech, Roni Stern
2020 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
This poses new challenges and exacerbate existing challenges in different aspects of software Quality Assurance (QA) including testing, debugging and repair.  ...  Then a test generation AI agent considers the error predictions to direct automated test generation.  ...  The search space of repair is extremely high even for discrete variables and thus a major challenge is to focus the search on more probable repair patches.  ... 
doi:10.1609/aaai.v34i09.7076 fatcat:5qpvqyyhevbp5phqo24rplyt3u
« Previous Showing results 1 — 15 out of 53,351 results