Program Repair Competition

被引:1
|
作者
Shariffdeen, Ridwan [1 ]
Mirchev, Martin [1 ]
Roychoudhury, Abhik [1 ]
机构
[1] Natl Univ Singapore, Singapore, Singapore
关键词
automated program repair; competition;
D O I
10.1109/APR59189.2023.00010
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Automated Program Repair(APR) is a rapidly developing technology that can assist developers in fixing software system errors. An essential part of any scientific work is a fair and comprehensive evaluation of the state-of-the-art techniques. At present there is no publicly available standard mechanism to perform comparisons for program repair. In this paper, we propose such a standardization in the form of a competition to foster comparability, advancing the state-of-the-art capabilities and to pave the path for the next-generation repair technology.
引用
收藏
页码:19 / 20
页数:2
相关论文
共 50 条
  • [21] VerifyThis 2015 A program verification competition
    Huisman, Marieke
    Klebanov, Vladimir
    Monahan, Rosemary
    Tautschnig, Michael
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (06) : 763 - 771
  • [22] VerifyThis 2012 A Program Verification Competition
    Huisman, Marieke
    Klebanov, Vladimir
    Monahan, Rosemary
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (06) : 647 - 657
  • [23] Program Quality Competition in Broadcasting Markets
    Li, Changying
    Zhang, Jianhu
    JOURNAL OF PUBLIC ECONOMIC THEORY, 2016, 18 (04) : 666 - 689
  • [24] Repair Is Nearly Generation: Multilingual Program Repair with LLMs
    Joshi, Harshit
    Sanchez, Jose Cambronero
    Gulwani, Sumit
    Le, Vu
    Radicek, Ivan
    Verbruggen, Gust
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 4, 2023, : 5131 - 5140
  • [25] Partial Specifications for Program Repair
    Kitt, Linsey
    Cohen, Myra B.
    2021 IEEE/ACM INTERNATIONAL WORKSHOP ON GENETIC IMPROVEMENT (GI 2021), 2021, : 19 - 20
  • [26] The master ordnance repair program
    Stimson, SA
    NAVAL ENGINEERS JOURNAL, 2006, 118 (01) : 83 - 92
  • [27] Cerberus: a Program Repair Framework
    Shariffdeen, Ridwan
    Mirchev, Martin
    Noller, Yannic
    Roychoudhury, Abhik
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION, 2023, : 73 - 77
  • [28] The master ordnance repair program
    Stimson, William A.
    Naval Engineers Journal, 1600, 118 (01): : 83 - 92
  • [29] Program repair without regret
    von Essen, Christian
    Jobstmann, Barbara
    FORMAL METHODS IN SYSTEM DESIGN, 2015, 47 (01) : 26 - 50
  • [30] Toward a theory of program repair
    Khaireddine, Besma
    Zakharchenko, Aleksandr
    Martinez, Matias
    Mili, Ali
    ACTA INFORMATICA, 2023, 60 (03) : 209 - 255