Automated Approaches for Program Verification and Repair

被引：0
|
作者：
Hallahan, William T. [1 ]
机构：
[1] Yale University
来源：
ProQuest Dissertations and Theses Global | 2022年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer system firewalls - Formal specification - Logic programming - Model checking - Program debugging
引用
收藏
相关论文
共 50 条
  • [41] The second international workshop on automated program analysis, testing and verification
    Tracey, N
    Penix, J
    Visser, WC
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 755 - 755
  • [42] A critical review on the evaluation of automated program repair systems
    Liu, Kui
    Li, Li
    Koyuncu, Anil
    Kim, Dongsun
    Liu, Zhe
    Klein, Jacques
    Bissyande, Tegawende F.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2021, 171
  • [43] Improving Automated Program Repair with Retrospective Fault Localization
    Xu, Tongtong
    2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019), 2019, : 159 - 161
  • [44] Better Test Cases for Better Automated Program Repair
    Yang, Jinqiu
    Zhikhartsev, Alexey
    Liu, Yuefei
    Tan, Lin
    ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 831 - 841
  • [45] Automatic Software Merging using Automated Program Repair
    Xing, Xiaoqian
    Maruyama, Katsuhisa
    2019 IEEE 1ST INTERNATIONAL WORKSHOP ON INTELLIGENT BUG FIXING (IBF '19), 2019, : 11 - 16
  • [46] ThinkRepair: Self-Directed Automated Program Repair
    Yin, Xin
    Ni, Chao
    Wang, Shaohua
    Li, Zhenhao
    Zeng, Limin
    Yang, Xiaohu
    PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, 2024, : 1274 - 1286
  • [47] Overfitting in semantics-based automated program repair
    Xuan Bach D. Le
    Ferdian Thung
    David Lo
    Claire Le Goues
    Empirical Software Engineering, 2018, 23 : 3007 - 3033
  • [48] An Investigation into the Use of Mutation Analysis for Automated Program Repair
    Timperley, Christopher Steven
    Stepney, Susan
    Le Goues, Claire
    SEARCH BASED SOFTWARE ENGINEERING, SSBSE 2017, 2017, 10452 : 99 - 114
  • [49] Impact of Code Language Models on Automated Program Repair
    Jiang, Nan
    Liu, Kevin
    Lutellier, Thibaud
    Tan, Lin
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, 2023, : 1430 - 1442
  • [50] Be Realistic: Automated Program Repair is a Combination of Undecidable Problems
    Nilizadeh, Amirfarhad
    Leavens, Gary T.
    INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR (APR 2022), 2022, : 31 - 32
12345