Fetching the paper…
Reading the bibliography…
Automated program repair (APR) faces the challenge of test overfitting, where generated patches pass validation tests but fail to generalize.
D. C. Kozen, “Rice’s theorem,” in Automata and Computability . Springer, 1977, pp. 245–248
1977
Earlier work this paper cites.
C. Pacheco and M. D. Ernst, “Randoop: feedback-directed random testing for java,” in Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion , 2007, pp. 815–816
2007
Earlier work this paper cites.
M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C. Xiao, “The daikon system for dynamic detection of likely invariants,” Science of computer programming , vol. 69, no. 1-3, pp. 35–45, 2007
2007
Earlier work this paper cites.
L. De Moura and N. Bjørner, “Z3: An efficient smt solver,” in International conference on Tools and Algorithms for the Construction and Analysis of Systems . Springer, 2008, pp. 337–340
2008
Earlier work this paper cites.
W. Weimer, T. Nguyen, C. Le Goues, and S. Forrest, “Automatically finding patches using genetic programming,” in 2009 IEEE 31st International Conference on Software Engineering . IEEE, 2009, pp. 364–374
2009
Earlier work this paper cites.
D. Lo, H. Cheng, J. Han, S.-C. Khoo, and C. Sun, “Classification of software behaviors for failure detection: a discriminative pattern mining approach,” in Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining , 2009, pp. 557–566
2009
Earlier work this paper cites.
C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer, “Genprog: A generic method for automatic software repair,” IEEE Transactions on Software Engineering , vol. 38, no. 1, pp. 54–72, 2011
2011
Earlier work this paper cites.
G. Fraser and A. Arcuri, “Evosuite: automatic test suite generation for object-oriented software,” in Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering , 2011, pp. 416–419
2011
Earlier work this paper cites.
Y. Tian, D. Lo, and C. Sun, “Information retrieval based nearest neighbor classification for fine-grained bug severity prediction,” in Proceeding of the 19th Working Conference on Reverse Engineering . IEEE, 2012, pp. 215–224
2012
Earlier work this paper cites.
Y. Tian, J. Lawall, and D. Lo, “Identifying linux bug fixing patches,” in 2012 34th International Conference on Software Engineering . IEEE, 2012, pp. 386–396
2012
Earlier work this paper cites.
D. Kim, J. Nam, J. Song, and S. Kim, “Automatic patch generation learned from human-written patches,” in Proceedings of the 35th International Conference on Software Engineering . IEEE, 2013, pp. 802–811
2013
Earlier work this paper cites.
W. Weimer, Z. P. Fry, and S. Forrest, “Leveraging program equivalence for adaptive program repair: Models and first results,” in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 2013, pp. 356–366
2013
Earlier work this paper cites.
P. Sagdeo, N. Ewalt, D. Pal, and S. Vasudevan, “Using automatically generated invariants for regression testing and bug localization,” in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 2013, pp. 634–639
2013
Earlier work this paper cites.
Y. Tao, J. Kim, S. Kim, and C. Xu, “Automatically generated patches as debugging aids: a human study,” in Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering , 2014, pp. 64–74
2014
Earlier work this paper cites.
Y. Qi, X. Mao, Y. Lei, Z. Dai, and C. Wang, “The strength of random search on automated program repair,” in Proceedings of the 36th International Conference on Software Engineering , 2014, pp. 254–265
2014
Earlier work this paper cites.
R. Just, D. Jalali, and M. D. Ernst, “Defects4j: A database of existing faults to enable controlled testing studies for java programs,” in Proceedings of the 23th International Symposium on Software Testing and Analysis , 2014, pp. 437–440
2014
Earlier work this paper cites.
M. Monperrus, “A critical review of” automatic patch generation learned from human-written patches”: essay on the problem statement and the evaluation of automatic software repair,” in Proceedings of the 36th International Conference on Software Engineering , 2014, pp. 234–242
2014
Earlier work this paper cites.
Z. Qi, F. Long, S. Achour, and M. Rinard, “An analysis of patch plausibility and correctness for generate-and-validate patch generation systems,” in Proceedings of the International Symposium on Software Testing and Analysis , 2015, pp. 24–36
2015
Earlier work this paper cites.
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 Proceedings of the 10th Joint Meeting on Foundations of Software Engineering , 2015, pp. 532–543
2015
Earlier work this paper cites.
S. Shamshiri, R. Just, J. M. Rojas, G. Fraser, P. McMinn, and A. Arcuri, “Do automatically generated unit tests find real faults? an empirical study of effectiveness and challenges (t),” in Proceeding of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 2015, pp. 201–211
2015
Earlier work this paper cites.
S. H. Tan and A. Roychoudhury, “relifix: Automated repair of software regressions,” in Proceeding of the 37th IEEE International Conference on Software Engineering , vol. 1. IEEE, 2015, pp. 471–482
2015
Earlier work this paper cites.
X. B. D. Le, D. Lo, and C. Le Goues, “History driven program repair,” in Proceedings of the 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER) , vol. 1. IEEE, 2016, pp. 213–224
2016
Earlier work this paper cites.
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 Transactions on Software Engineering , vol. 43, no. 1, pp. 34–55, 2016
2016
Earlier work this paper cites.
F. Long and M. Rinard, “Automatic patch generation by learning correct code,” in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , 2016, pp. 298–312
2016
Earlier work this paper cites.
S. Mechtaev, J. Yi, and A. Roychoudhury, “Angelix: Scalable multiline program patch synthesis via symbolic analysis,” in Proceedings of the 38th International Conference on Software Engineering , 2016, pp. 691–701
2016
Earlier work this paper cites.
S. H. Tan, H. Yoshida, M. R. Prasad, and A. Roychoudhury, “Anti-patterns in search-based program repair,” in Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering , 2016, pp. 727–738
2016
Earlier work this paper cites.
T.-D. B. Le, D. Lo, C. Le Goues, and L. Grunske, “A learning-to-rank based fault localization approach using likely invariants,” in Proceedings of the 25th International Symposium on Software Testing and Analysis , 2016, pp. 177–188
2016
Earlier work this paper cites.
T.-D. B. Le, D. Lo, C. Le Goues, and L. Grunske, “A learning-to-rank based fault localization approach using likely invariants,” in Proceedings of the 25th International Symposium on Software Testing and Analysis , ser. Proceedings of the 26th International Symposium on Software Testing and Analysis. New York, NY, USA: Association for Computing Machinery, 2016, p. 177–188. [Online]. Available: https://doi.org/10.1145/2931037.2931049
2016
Cited alongside, same era.
Y. Xiong, J. Wang, R. Yan, J. Zhang, S. Han, G. Huang, and L. Zhang, “Precise condition synthesis for program repair,” in Proceeding of the 39th International Conference on Software Engineering . IEEE, 2017, pp. 416–426
2017
Cited alongside, same era.
X.-B. D. Le, D.-H. Chu, D. Lo, C. Le Goues, and W. Visser, “S3: syntax-and semantic-guided repair synthesis via programming by examples,” in Proceedings of the 11th Joint Meeting on Foundations of Software Engineering , 2017, pp. 593–604
2017
Cited alongside, same era.
H. Tian, K. Liu, A. K. Kaboré, A. Koyuncu, L. Li, J. Klein, and T. F. Bissyandé, “Evaluating representation learning of code changes for predicting patch correctness in program repair,” in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 2020, pp. 981–992
2020
Later among the works it cites.
B. Yang and J. Yang, “Exploring the differences between plausible and correct patches at fine-grained level,” in 2020 IEEE 2nd International Workshop on Intelligent Bug Fixing (IBF) . IEEE, 2020, pp. 1–8
2020
Later among the works it cites.
A. Koyuncu, K. Liu, T. F. Bissyandé, D. Kim, J. Klein, M. Monperrus, and Y. Le Traon, “Fixminer: Mining relevant fix patterns for automated program repair,” Empirical Software Engineering , pp. 1–45, 2020
2020
Later among the works it cites.
T. C. Le, T. Antonopoulos, P. Fathololumi, E. Koskinen, and T. Nguyen, “Dynamite: dynamic termination and non-termination proofs,” Proceedings of the ACM on Programming Languages , vol. 4, no. OOPSLA, pp. 1–30, 2020
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Q. Xin and S. P. Reiss, “Identifying test-suite-overfitted patches through test case generation.” in ISSTA , vol. 17, 2017, pp. 226–236
2017
Cited alongside, same era.
X.-B. D. Le, D.-H. Chu, D. Lo, C. Le Goues, and W. Visser, “Jfix: semantics-based repair of java programs via symbolic pathfinder,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis , 2017, pp. 376–379
2017
Cited alongside, same era.
T. Nguyen, T. Antonopoulos, A. Ruef, and M. Hicks, “Counterexample-guided approach to finding numerical invariants,” in Proceedings of the 11th Joint Meeting on Foundations of Software Engineering , 2017, pp. 605–615
2017
Cited alongside, same era.
S. WANG and J. JIANG, “A compare-aggregate model for matching text sequences.(2017),” in ICLR 2017: International Conference on Learning Representations, Toulon, France, April 24-26: Proceedings , 2017, pp. 1–15
2017
Cited alongside, same era.
A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones, A. N. Gomez, Ł. Kaiser, and I. Polosukhin, “Attention is all you need,” in Advances in Neural Information Processing Systems, , 2017, pp. 5998–6008
2017
Cited alongside, same era.
M. Martinez, T. Durieux, R. Sommerard, J. Xuan, and M. Monperrus, “Automatic repair of real bugs in java: A large-scale experiment on the defects4j dataset,” Empirical Software Engineering , vol. 22, no. 4, pp. 1936–1964, 2017
2017
Cited alongside, same era.
J. Yang, A. Zhikhartsev, Y. Liu, and L. Tan, “Better test cases for better automated program repair,” in Proceedings of the 11th Joint Meeting on Foundations of Software Engineering , 2017, pp. 831–841
2017
Cited alongside, same era.
S. Mahajan, N. Abolhassani, P. McMinn, and W. G. Halfond, “Automated repair of mobile friendly problems in web pages,” in Proceedings of the 40th International Conference on Software Engineering , 2018, pp. 140–150
2018
Cited alongside, same era.
K. Liu, A. Koyuncu, K. Kim, D. Kim, and T. F. Bissyandé, “Lsrepair: Live search of fix ingredients for automated program repair,” in Proceeding of the 25th Asia-Pacific Software Engineering Conference (APSEC) . IEEE, 2018, pp. 658–662
2018
Cited alongside, same era.
2020
Later among the works it cites.
S. Wang, M. Wen, B. Lin, H. Wu, Y. Qin, D. Zou, X. Mao, and H. Jin, “Automated patch correctness assessment: How far are we?” in Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering , 2020, pp. 968–980
2020
Later among the works it cites.
Z. Feng, D. Guo, D. Tang, N. Duan, X. Feng, M. Gong, L. Shou, B. Qin, T. Liu, D. Jiang, and M. Zhou, “CodeBERT: A pre-trained model for programming and natural languages,” in Findings of the Association for Computational Linguistics: EMNLP 2020 . Association for Computational Linguistics, Nov. 2020, pp. 1536–1547
2020
Later among the works it cites.
T. Hoang, H. J. Kang, D. Lo, and J. Lawall, “Cc2vec: Distributed representations of code changes,” in Proceedings of the 42nd International Conference on Software Engineering , 2020, pp. 518–529
2020
Later among the works it cites.
K. Liu, S. Wang, A. Koyuncu, K. Kim, T. F. Bissyandé, D. Kim, P. Wu, J. Klein, X. Mao, and Y. Le Traon, “On the efficiency of test suite based program repair,” in International Conference on Software Engineering , 2020
2020
Later among the works it cites.
Y. Li, S. Wang, and T. N. Nguyen, “Dlfix: Context-based code transformation learning for automated program repair,” in Proceedings of the 42nd International Conference on Software Engineering , 2020, pp. 602–614
2020
Later among the works it cites.
T. Lutellier, H. V. Pham, L. Pang, Y. Li, M. Wei, and L. Tan, “Coconut: Combining context-aware neural translation models using ensemble for program repair,” in Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis , 2020, pp. 101–114
2020
Later among the works it cites.
T. Le-Cong, X. B. D. Le, Q. T. Huynh, and P. Le Nguyen, “Usability and aesthetics: Better together for automated repair of web pages,” in 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE) . IEEE, 2021, pp. 173–183
2021
Later among the works it cites.
A. Nilizadeh, G. T. Leavens, X.-B. D. Le, C. S. Păsăreanu, and D. R. Cok, “Exploring true test overfitting in dynamic automated program repair using formal methods,” in 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) . IEEE, 2021, pp. 229–240
2021
Later among the works it cites.
H. Ye, M. Martinez, and M. Monperrus, “Automated patch assessment for program repair at scale,” Empirical Software Engineering , vol. 26, no. 2, pp. 1–38, 2021
2021
Later among the works it cites.
H. Ye, J. Gu, M. Martinez, T. Durieux, and M. Monperrus, “Automated classification of overfitting patches with statically extracted code features,” IEEE Transactions on Software Engineering , 2021
2021
Later among the works it cites.
D. Ishimwe, K. Nguyen, and T. Nguyen, “Dynaplex: analyzing program complexity using dynamically inferred recurrence relations.” Proc. ACM Program. Lang. , vol. 5, no. OOPSLA, pp. 1–23, 2021
2021
Later among the works it cites.
X. Zhou, D. Han, and D. Lo, “Assessing generalizability of codebert,” in Proceeding of the International Conference on Software Maintenance and Evolution (ICSME) . IEEE, 2021, pp. 425–436
2021
Later among the works it cites.
J. Zhou, M. Pacheco, Z. Wan, X. Xia, D. Lo, Y. Wang, and A. E. Hassan, “Finding a needle in a haystack: Automated mining of silent vulnerability fixes,” in Proceeding of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 2021, pp. 705–716
2021
Later among the works it cites.
X.-B. D. Le and Q. L. Le, “Refixar: Multi-version reasoning for automated repair of regression errors,” in Proceeding of the 32nd International Symposium on Software Reliability Engineering (ISSRE) . IEEE, 2021, pp. 162–172
2021
Later among the works it cites.
H. Ye, M. Martinez, and M. Monperrus, “Neural program repair with execution-based backpropagation,” in Proceedings of the 44th International Conference on Software Engineering , 2022, pp. 1506–1518
2022
Later among the works it cites.
C. S. Xia and L. Zhang, “Less training, more repairing please: revisiting automated program repair via zero-shot learning,” in Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering , 2022, pp. 959–971
2022
Later among the works it cites.
2022
Later among the works it cites.
T.-D. Nguyen, T. Le-Cong, T. H. Nguyen, X.-B. D. Le, and Q.-T. Huynh, “Toward the analysis of graph neural networks,” in 2022 IEEE/ACM 44th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) , 2022, pp. 116–120
2022
Later among the works it cites.
T. G. Nguyen, T. Le-Cong, H. J. Kang, X.-B. D. Le, and D. Lo, “Vulcurator: a vulnerability-fixing commit detector,” in Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering , 2022, pp. 1726–1730
2022
Later among the works it cites.
T. Le-Cong, H. J. Kang, T. G. Nguyen, S. A. Haryono, D. Lo, X.-B. D. Le, and Q. T. Huynh, “Autopruner: transformer-based call graph pruning,” in Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering , 2022, pp. 520–532
2022
Later among the works it cites.
B. Lin, S. Wang, M. Wen, and X. Mao, “Context-aware code change embedding for better patch correctness assessment,” ACM Transactions on Software Engineering and Methodology (TOSEM) , vol. 31, no. 3, pp. 1–29, 2022
2022
Later among the works it cites.