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 条
  • [21] Static Automated Program Repair for Heap Properties
    van Tonder, Rijnard
    Le Goues, Claire
    PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, : 151 - 162
  • [22] BugsPHP: A dataset for Automated Program Repair in PHP
    Pramod, K.D.
    De Silva, W.T.N.
    Thabrew, W.U.K.
    Shariffdeen, Ridwan
    Wickramanayake, Sandareka
    arXiv,
  • [23] An Assessment of the Quality of Automated Program Operator Repair
    Assiri, Fatmah Yousef
    Bieman, James M.
    2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2014, : 273 - 282
  • [24] Toward Improving Graftability on Automated Program Repair
    Sumi, Soichi
    Higo, Yoshiki
    Hotta, Keisuke
    Kusumoto, Shinji
    2015 31ST INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME) PROCEEDINGS, 2015, : 511 - 515
  • [25] Improving Automated Program Repair with Domain Adaptation
    Zirak, Armin
    Hemmati, Hadi
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2024, 33 (03)
  • [26] Large Language Models for Automated Program Repair
    Ribeiro, Francisco
    SPLASH Companion 2023 - Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2023, : 7 - 9
  • [27] HFL(Z) Validity Checking for Automated Program Verification
    Kobayashi, Naoki
    Tanahashi, Kento
    Sato, Ryosuke
    Tsukada, Takeshi
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 154 - 184
  • [28] Parameterized Recursive Refinement Types for Automated Program Verification
    Mukai, Ryoya
    Kobayashi, Naoki
    Sato, Ryosuke
    STATIC ANALYSIS, SAS 2022, 2022, 13790 : 397 - 421
  • [29] Automated techniques for higher-order program verification
    1600, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo, 101-8430, Japan
  • [30] The Strength of Random Search on Automated Program Repair
    Qi, Yuhua
    Mao, Xiaoguang
    Lei, Yan
    Dai, Ziying
    Wang, Chengsong
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), 2014, : 254 - 265
12345