Quality of Automated Program Repair on Real-World Defects

被引:0
|
作者
Motwani, Manish [1 ]
Soto, Mauricio [2 ]
Brun, Yuriy [1 ]
Just, Rene [3 ]
Le Goues, Claire [2 ]
机构
[1] Manning College of Information and Computer Sciences, University of Massachusetts Amherst, Amherst,MA,01003-9264, United States
[2] School of Computer Science, Carnegie Mellon University, Pittsburgh,PA,15213, United States
[3] Paul G. Allen School of Computer Science and Engineering, University of Washington, Seattle,WA,98195-2350, United States
来源
关键词
Number:; CCF-1453474; CCF-1563797; CCF-1564162; CCF-1750116; Acronym:; NSF; Sponsor: National Science Foundation;
D O I
暂无
中图分类号
学科分类号
摘要
Repair
引用
收藏
页码:637 / 661
相关论文
共 50 条
  • [1] Quality of Automated Program Repair on Real-World Defects
    Motwani, Manish
    Soto, Mauricio
    Brun, Yuriy
    Just, Rene
    Le Goues, Claire
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 48 (02) : 637 - 661
  • [2] CirFix: Automated Hardware Repair and its Real-World Applications
    Santiesteban, Priscila
    Huang, Yu
    Weimer, Westley
    Ahmad, Hammad
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2023, 49 (07) : 3736 - 3752
  • [3] SOSRepair: Expressive Semantic Search for Real-World Program Repair
    Afzal, Afsoon
    Motwani, Manish
    Stolee, Kathryn T.
    Brun, Yuriy
    Le Goues, Claire
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2021, 47 (10) : 2162 - 2181
  • [4] THE REAL-WORLD COMPUTING PROGRAM
    OKA, R
    [J]. ARTIFICIAL INTELLIGENCE REVIEW, 1994, 8 (2-3) : 105 - 111
  • [5] Assessing Real-World Data Quality: The Application of Patient Registry Quality Criteria to Real-World Data and Real-World Evidence
    Gliklich, Richard E.
    Leavy, Michelle B.
    [J]. THERAPEUTIC INNOVATION & REGULATORY SCIENCE, 2020, 54 (02) : 303 - 307
  • [6] Assessing Real-World Data Quality: The Application of Patient Registry Quality Criteria to Real-World Data and Real-World Evidence
    Richard E. Gliklich
    Michelle B. Leavy
    [J]. Therapeutic Innovation & Regulatory Science, 2020, 54 : 303 - 307
  • [7] Assessing Quality of Real-World Data Supplied by an Automated Surgical Data Pipeline
    Corey, Kristin
    Helmkamp, Joshua
    Kirk, Allan D.
    Balu, Suresh
    Thompson, David
    Mureebe, Leila
    Watson, Joshua
    Marsolo, Keith
    Curtis, Lesley
    Sendak, Mark
    [J]. JOURNAL OF THE AMERICAN COLLEGE OF SURGEONS, 2019, 229 (04) : S89 - S89
  • [8] Automated Verification of Real-World Cryptographic Implementations
    Tomb, Aaron
    [J]. IEEE SECURITY & PRIVACY, 2016, 14 (06) : 26 - 33
  • [9] Evaluating Automated Program Repair Using Characteristics of Defects
    Yokoyama, Haruki
    Higo, Yoshiki
    Kusumoto, Shinji
    [J]. 2017 8TH IEEE INTERNATIONAL WORKSHOP ON EMPIRICAL SOFTWARE ENGINEERING IN PRACTICE (IWESEP), 2017, : 47 - 52
  • [10] High-Quality Automated Program Repair
    Motwani, Manish
    [J]. 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021), 2021, : 309 - 314