Keigo Naitou
Yoshiki Higo
ABSTRACT
Automated program repair (in short, APR) has been attracting much attention. A variety of APR techniques have been proposed, and they have been evaluated with actual bugs in open source software. Currently, the authors are trying to introduce APR techniques to industrial software development (in short, ISD) to reduce development cost drastically. However, at this moment, there are no studies that report evaluations of APR techniques on ISD. In this paper, we report our ongoing application of APR techniques to ISD and discuss some barriers that we found on the application.
- J. Fishman. University of Cambridge Study: Failure to Adopt Reverse Debugging Costs Global Economy $41 Billion Annually (visited 5/Jun/2018). {Online}. Available: https://goo.gl/Dj7gC3Google Scholar
- M. Y. Chen, E. Kiciman, E. Fratkin, A. Fox, and E. Brewer, "Pinpoint: Problem Determination in Large, Dynamic Internet Services," in DSN'02, pp. 595--604. Google ScholarDigital Library
- J. A. Jones and M. J. Harrold, "Empirical Evaluation of the Tarantula Automatic Fault-localization Technique," in ASE'05, pp. 273--282. Google ScholarDigital Library
- D. Saha, M. G. Nanda, P. Dhoolia, V. K. Nandivada, V. Sinha, and S. Chandra, "Fault Localization for Data-centric Programs," in ESEC/FSE'11, pp. 157--167. Google ScholarDigital Library
- D. Zuddas, W. Jin, F. Pastore, L. Mariani, and A. Orso, "MIMIC: locating and understanding bugs by analyzing mimicked executions," in ASE'14, 2014, pp. 815--826. Google ScholarDigital Library
- W. Weimer, T. Nguyen, C. Le Goues, and S. Forrest, "Automatically Finding Patches Using Genetic Programming," in ICSE'09, pp. 364--374. Google ScholarDigital Library
- C. Le 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," in ICSE'12, pp. 3--13. Google ScholarDigital Library
- M. Martinez and M. Monperrus, "ASTOR: A Program Repair Library for Java," in ISSTA'16, pp. 441--444. Google ScholarDigital Library
- H. D. T. Nguyen, D. Qi, A. Roychoudhury, and S. C handra, "SemFix: Program Repair via Semantic Analysis," in ICSE'13, pp. 772--781. Google ScholarDigital Library
- J. Xuan, M. Martinez, F. DeMarco, M. Clement, S. L. Marcote, T. Durieux, D. Le Berre, and M. Monperrus, "Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs," IEEE TSE, vol. 43, no. 1, pp. 34--55, 2017. Google ScholarDigital Library
- M. Martinez, T. Durieux, R. Sommerard, J. Xuan, and M. Monperrus, "Automatic Repair of Real Bugs in Java: A Large-scale Experiment on the Deffects4J Dataset," Empirical Software Engineering, vol. 22, no. 4, pp. 1936--1964, 2017. Google ScholarDigital Library
- R. Abreu, P. Zoeteweij, and A. J. C. v. Gemund, "An Evaluation of Similarity Coefficients for Software Fault Localization," in PRDC'06, pp. 39--46. Google ScholarDigital Library
- F. Long and M. Rinard, "Staged Program Repair with Condition Synthesis," in ESEC/FSE'05, pp. 166--178. Google ScholarDigital Library
- X.-B. D. Le, D. Lo, and C. L. Goues, "History Driven Program Repair," in SANER'16, pp. 213--224.Google Scholar
- F. Long and M. Rinard, "Automatic Patch Generation by Learning Correct Code," in POPL'16, pp. 298--312. Google ScholarDigital Library
- S. Mechtaev, J. Yi, and A. Roychoudhury, "Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis," in ICSE'16, pp. 691--701. Google ScholarDigital Library
- S. Mechtaev, J. Yi, and A. Roychoudhury, "DirectFix: Looking for Simple Program Repairs," in ICSE'15, pp. 448--458. Google ScholarDigital Library
- A. Weiss, A. Guha, and Y. Brun, "Tortoise: Interactive System Configuration Repair," in Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017, pp. 625--636. Google ScholarDigital Library
- E. K. Smith, E. T. Barr, C. Le Goues, and Y. Brun, "Is the Cure Worse Than the Disease? Overfitting in Automated Program Repair," in ESEC/FSE'15, pp. 532--543. Google ScholarDigital Library
Index Terms
- Toward introducing automated program repair techniques to industrial software development
Recommendations
Do automated program repair techniques repair hard and important bugs?
Existing evaluations of automated repair techniques focus on the fraction of the defects for which the technique can produce a patch, the time needed to produce patches, and how well patches generalize to the intended specification. However, these ...
"Leagile" software development
In recent years there has been a noticeable shift in attention from those who use agile software development toward lean software development, often labelled as a shift "from agile to lean". However, the reality may not be as simple or linear as this ...
A framework for assisting software process improvement program in global software development: student research abstract
SAC '16: Proceedings of the 31st Annual ACM Symposium on Applied ComputingPresently, software systems are becoming a vital part of business in the world. Most of the software development organizations is adopting Global Software Development (GSD) and it is incessantly getting faster. The software development orgazations ...
Comments