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 条
  • [21] Face recognition is not template-based
    Carbon, CC
    Leder, H
    PERCEPTION, 2004, 33 : 103 - 103
  • [22] GAMMA: Revisiting Template-based Automated Program Repair via Mask Prediction
    Zhang, Quanjun
    Fang, Chunrong
    Zhang, Tongke
    Yu, Bowen
    Sun, Weisong
    Chen, Zhenyu
    2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 535 - 547
  • [23] POSTERIOR FEATURES FOR TEMPLATE-BASED ASR
    Soldo, Serena
    Magimai-Doss, Mathew
    Pinto, Joel
    Bourlard, Herve
    2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, 2011, : 4864 - 4867
  • [24] Template-based prediction of protein function
    Petrey, Donald
    Chen, T. Scott
    Deng, Lei
    Garzon, Jose Ignacio
    Hwang, Howook
    Lasso, Gorka
    Lee, Hunjoong
    Silkov, Antonina
    Honig, Barry
    CURRENT OPINION IN STRUCTURAL BIOLOGY, 2015, 32 : 33 - 38
  • [25] A template-based paint manufacturing simulation
    Dronzek, R
    Trandum, NJ
    INDUSTRIAL ENGINEERING SOLUTIONS '99 CONFERENCE, PROCEEDINGS, 1999, : 167 - 169
  • [26] Template-based visual scene editor
    Liu, Xiao-Ping
    Zhang, Jing
    Chen, Hao
    Cao, Li
    Xitong Fangzhen Xuebao / Journal of System Simulation, 2006, 18 (11): : 3161 - 3164
  • [27] Benchmarking template-based tracking algorithms
    Lieberknecht, Sebastian
    Benhimane, Selim
    Meier, Peter
    Navab, Nassir
    VIRTUAL REALITY, 2011, 15 (2-3) : 99 - 108
  • [28] TEMPLATE-BASED MOSFET DEVICE MODEL
    GRAHAM, MG
    PAULOS, JJ
    NYCHKA, DW
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1995, 14 (08) : 924 - 933
  • [29] Template-based authoring of educational artifacts
    Davis, Sarah
    Bogen, Paul
    Cifuentes, Lauren
    Francisco-Revilla, Luis
    Furuta, Richard
    Hubbard, Takeisha
    Karadkar, Unmil P.
    Pogue, Daniel
    Shipman, Frank
    OPENING INFORMATION HORIZONS, 2006, : 242 - +
  • [30] Template-based monitoring for files and directories
    Markel, Arieh
    Research Disclosure, 2006, (506): : 663 - 665
12345