Cerberus: a Program Repair Framework

被引：5
作者：
Shariffdeen, Ridwan [1 ]
Mirchev, Martin [1 ]
Noller, Yannic [1 ]
Roychoudhury, Abhik [1 ]
机构：
[1] Natl Univ Singapore, Singapore, Singapore
来源：
2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION | 2023年
关键词：
automated program repair; repair platform;
D O I：
10.1109/ICSE-Companion58688.2023.00028
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Automated Program Repair (APR) represents a suite of emerging technologies which attempt to automatically fix bugs and vulnerabilities in programs. APR is a rapidly growing field with new tools and benchmarks being added frequently. Yet a language agnostic repair framework is not available. We introduce CERBERUS, a program repair framework integrated with 20 program repair tools and 9 repair benchmarks, coexisting in the same framework. CERBERUS is capable of executing diverse set of program repair tasks, using multitude of program repair tools and benchmarks.
引用
收藏
页码：73 / 77
页数：5
相关论文
共 25 条
  • [1] Verifix: Verified Repair of Programming Assignments
    Ahmed, Umair Z.
    Fan, Zhiyu
    Yi, Jooyong
    Al-Bataineh, Omar, I
    Roychoudhury, Abhik
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2022, 31 (04)
  • [2] Cadar Cristian, 2008, P 8 USENIX C OP SYST, P209
  • [3] SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
    Chen, Zimin
    Kommrusch, Steve
    Tufano, Michele
    Pouchet, Louis-Noel
    Poshyvanyk, Denys
    Monperrus, Martin
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2021, 47 (09) : 1943 - 1959
  • [4] Hippodrome: Data Race Repair Using Static Analysis Summaries
    Costea, Andreea
    Tiwari, Abhishek
    Chianasta, Sigmund
    Kishore, R.
    Roychoudhury, Abhik
    Sergey, Ilya
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2023, 32 (02)
  • [5] Empirical Review of Java']Java Program Repair Tools: A Large-Scale Experiment on 2,141 Bugs and 23,551 Repair Attempts
    Durieux, Thomas
    Madeiral, Fernanda
    Martinez, Matias
    Abreu, Rui
    [J]. ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2019, : 302 - 313
  • [6] Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
    Gao, Xiang
    Wang, Bo
    Duck, Gregory J.
    Ji, Ruyi
    Xiong, Yingfei
    Roychoudhury, Abhik
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2021, 30 (02)
  • [7] Using Safety Properties to Generate Vulnerability Patches
    Huang, Zhen
    Lie, David
    Tan, Gang
    Jaeger, Trent
    [J]. 2019 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2019), 2019, : 539 - 554
  • [8] Just R., 2014, ISSTA 2014, P437, DOI [10.1145/2610384.2628055, DOI 10.1145/2610384.2628055]
  • [9] On The Introduction of Automatic Program Repair in Bloomberg
    Kirbas, Serkan
    Windels, Etienne
    McBello, Olayori
    Kells, Kevin
    Pagano, Matthew
    Szalanski, Rafal
    Nowack, Vesna
    Winter, Emily Rowan
    Counsell, Steve
    Bowes, David
    Hall, Tracy
    Haraldsson, Saemundur
    Woodward, John
    [J]. IEEE SOFTWARE, 2021, 38 (04) : 43 - 51
  • [10] Automated Program Repair
    Le Goues, Claire
    Pradel, Michael
    Roychoudhury, Abhik
    [J]. COMMUNICATIONS OF THE ACM, 2019, 62 (12) : 56 - 65
123