ATR: Template-based repair for Alloy specifications

被引：0
|
作者：
Zheng, Guolong [1 ]
Nguyen, Thanhvu [2 ]
Brida, Simon Gutierrez [3 ]
Regis, German [4 ]
Aguirre, Nazareno [3 ]
Frias, Marcelo F. [5 ]
Bagheri, Hamid [1 ]
机构：
[1] University of Nebraska-Lincoln, United States
[2] George Mason University, United States
[3] University of Rio Cuarto, Argentina / CONICET, Argentina
[4] University of Rio Cuarto, Argentina
[5] Buenos Aires Institute of Technology, Argentina
来源：
ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis | 2022年
关键词：
Compendex;
D O I：
31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2022
中图分类号：
学科分类号：
摘要：
Specifications
引用
收藏
页码：666 / 677
相关论文
共 50 条
  • [1] ATR: Template-Based Repair for Alloy Specifications
    Zheng, Guolong
    ThanhVu Nguyen
    Gutierrez Brida, Simon
    Regis, German
    Aguirre, Nazareno
    Frias, Marcelo F.
    Bagheri, Hamid
    PROCEEDINGS OF THE 31ST ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2022, 2022, : 666 - 677
  • [2] Systolic array for acceleration of template-based ATR
    Kottke, D
    Fiore, PD
    INTERNATIONAL CONFERENCE ON IMAGE PROCESSING - PROCEEDINGS, VOL I, 1997, : 869 - 872
  • [3] Template-based Neural Program Repair
    Meng, Xiangxin
    Wang, Xu
    Zhang, Hongyu
    Sun, Hailong
    Liu, Xudong
    Hu, Chunming
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, 2023, : 1456 - 1468
  • [4] Effect of signal-to-clutter ratio on template-based ATR
    Kaplan, LM
    Murenzi, R
    Asika, E
    Namuduri, K
    ALGORITHMS FOR SYNTHETIC APERTURE RADAR IMAGERY V, 1998, 3370 : 408 - 419
  • [5] Analysis of multiplicative speckle models for template-based SAR ATR
    Kaplan, LM
    IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 2001, 37 (04) : 1424 - 1432
  • [6] Improved template-based SAR ATR performance using vector quantization
    Kaplan, LM
    Murenzi, R
    Namuduri, KR
    Cohen, M
    RADAR PROCESSING, TECHNOLOGY, AND APPLICATIONS III, 1998, 3462 : 296 - 307
  • [7] TBar: Revisiting Template-Based Automated Program Repair
    Liu, Kui
    Koyuncu, Anil
    Kim, Dongsun
    Bissyande, Tegawende F.
    PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 31 - 42
  • [8] Template-based SAR ATR performance using different image enhancement techniques
    Owirka, GJ
    Verbout, SM
    Novak, LM
    ALGORITHMS FOR SYNTHETIC APERTURE RADAR IMAGERY VI, 1999, 3721 : 302 - 319
  • [9] TEMPLATE-BASED ISOCONTOURING
    Lakshmipathy, Jagannathan
    Nowinski, Wieslaw L.
    Wernert, Eric A.
    INTERNATIONAL JOURNAL OF IMAGE AND GRAPHICS, 2006, 6 (02) : 187 - 204
  • [10] SeTemAPR: Incorporating Semantic Knowledge in Template-based Neural Program Repair
    Zhang, Yanbo
    Wang, Yawen
    2024 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, IJCNN 2024, 2024,
12345