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 条
  • [1] Enhancing Automated Program Repair with Deductive Verification
    Le, Xuan-Bach D.
    Le, Quang Loc
    Lo, David
    Le Goues, Claire
    32ND IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2016), 2016, : 428 - 432
  • [2] Automated Program Repair
    Le Goues, Claire
    Pradel, Michael
    Roychoudhury, Abhik
    COMMUNICATIONS OF THE ACM, 2019, 62 (12) : 56 - 65
  • [3] On Automated Program Construction and Verification
    Berghammer, Rudolf
    Struth, Georg
    MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2010, 6120 : 22 - +
  • [4] Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods
    Nilizadeh, Amirfarhad
    2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 480 - 482
  • [5] Foundational Program Verification in Coq with Automated Proofs
    Chlipala, Adam
    MSFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, 2010, : 19 - 19
  • [6] On the Evaluation Metrics of Automated Program Repair
    Qi, Yuhua
    Liu, Wenhong
    Zhang, Weixiang
    Yang, Deheng
    2017 FOURTH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA 2017), 2017, : 168 - 168
  • [7] Practical Aspects of Automated Deduction for Program Verification
    Ahrendt, Wolfgang
    Beckert, Bernhard
    Giese, Martin
    Ruemmer, Philipp
    KUNSTLICHE INTELLIGENZ, 2010, 24 (01): : 43 - 49
  • [8] Progress on approaches to automatic program repair
    Xuan J.-F.
    Ren Z.-L.
    Wang Z.-Y.
    Xie X.-Y.
    Jiang H.
    Xuan, Ji-Feng (jxuan@whu.edu.cn), 1600, Chinese Academy of Sciences (27): : 771 - 784
  • [9] Automated Quantum Program Verification in Dynamic Quantum Logic
    Takagi, Tsubasa
    Canh Minh Do
    Ogata, Kazuhiro
    DYNAMIC LOGIC. NEW TRENDS AND APPLICATIONS, DALI 2023, 2024, 14401 : 68 - 84
  • [10] Automated Program Repair for Introductory Programming Assignments
    Wan, Han
    Luo, Hongzhen
    Li, Mengying
    Luo, Xiaoyan
    IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, 2024, 17 : 1745 - 1760
12345