Program Repair Competition

被引:1
|
作者
Shariffdeen, Ridwan [1 ]
Mirchev, Martin [1 ]
Roychoudhury, Abhik [1 ]
机构
[1] Natl Univ Singapore, Singapore, Singapore
来源
2023 IEEE/ACM INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR | 2023年
关键词
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 条
  • [1] Codeflaws: A Programming Competition Benchmark for Evaluating Automated Program Repair Tools
    Tan, Shin Hwei
    Yi, Jooyong
    Yulis
    Mechtaev, Sergey
    Roychoudhury, Abhik
    PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), 2017, : 180 - 182
  • [2] The Impact of Program Reduction on Automated Program Repair
    Vidziunas, Linas
    Binkley, David
    Moonen, Leon
    2024 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION, ICSME 2024, 2024, : 337 - 349
  • [3] 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
  • [4] 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
  • [5] 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
  • [6] Evolutionary Testing for Program Repair
    Ruan, Haifeng
    Hoang Lam Nguyen
    Shariffdeen, Ridwan
    Noller, Yannic
    Roychoudhury, Abhik
    2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024, 2024, : 105 - 116
  • [7] History Driven Program Repair
    Le, Xuan-Bach D.
    Lo, David
    Le Goues, Claire
    2016 IEEE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER), VOL 1, 2016, : 213 - 224
  • [8] VerifyThis 2012A Program Verification Competition
    Marieke Huisman
    Vladimir Klebanov
    Rosemary Monahan
    International Journal on Software Tools for Technology Transfer, 2015, 17 : 647 - 657
  • [9] VerifyThis 2015A program verification competition
    Marieke Huisman
    Vladimir Klebanov
    Rosemary Monahan
    Michael Tautschnig
    International Journal on Software Tools for Technology Transfer, 2017, 19 : 763 - 771
  • [10] Evaluating Distance Measures for Program Repair
    Koutcheme, Charles
    Sarsa, Sami
    Leinonen, Juho
    Haaranen, Lassi
    Hellas, Arto
    PROCEEDINGS OF THE 2023 ACM CONFERENCE ON INTERNATIONAL COMPUTING EDUCATION RESEARCH V.1, ICER 2023 V1, 2023, : 495 - 507