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 条
  • [31] Template-based Reconstruction of Complex Refactorings
    Prete, Kyle
    Rachatasumrit, Napol
    Sudan, Nikita
    Kim, Miryung
    2010 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2010,
  • [32] Template-based generation of multimedia presentations
    Celentano, A
    Gaggi, O
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2003, 13 (04) : 419 - 445
  • [33] Template-based Compression of ECG Signals
    Ayari, Emna Zoghlami
    Tielert, Rheinhardt
    Wehn, Norbert
    2008 30TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-8, 2008, : 283 - 286
  • [34] Template-Based Learning of Grasp Selection
    Herzog, Alexander
    Pastor, Peter
    Kalakrishnan, Mrinal
    Righetti, Ludovic
    Asfour, Tamim
    Schaal, Stefan
    2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2012, : 2379 - 2384
  • [35] Template-based synthesis of nickel oxide
    Mironova-Ulmane, N.
    Kuzmin, A.
    Sidos, I.
    12TH RUSSIA/CIS/BALTIC/JAPAN SYMPOSIUM ON FERROELECTRICITY AND 9TH INTERNATIONAL CONFERENCE ON FUNCTIONAL MATERIALS AND NANOTECHNOLOGIES (RCBJSF-2014-FM&NT), 2015, 77
  • [36] Exploring the potential of template-based modelling
    Lance, Braddon K.
    Deane, Charlotte M.
    Wood, Graham R.
    BIOINFORMATICS, 2010, 26 (15) : 1849 - 1856
  • [37] RESEARCH NOTES-GMRepair: Graph Mining Template-Based Automated Software Repair
    Cao, Heling
    Guo, Yanlong
    Wang, Yun
    Tian, Fangchao
    Wang, Zhaolong
    Chu, Yonghe
    Deng, Miaolei
    Wang, Panpan
    He, Zhenghao
    Wei, Shuting
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2025,
  • [38] Template-Based Piecewise Affine Regression
    Berger, Guillaume O.
    Sankaranarayanan, Sriram
    LEARNING FOR DYNAMICS AND CONTROL CONFERENCE, VOL 211, 2023, 211
  • [39] Template-based Ear Modeling and Reconstruction
    Chu, Yingjun
    Zhang, Kanjian
    Wei, Haikun
    Wang, Yangang
    2019 CHINESE AUTOMATION CONGRESS (CAC2019), 2019, : 4118 - 4123
  • [40] Template-Based Hierarchical Building Extraction
    Sellaouti, Aymen
    Hamouda, Atef
    Deruyver, Aline
    Wemmert, Cedric
    IEEE GEOSCIENCE AND REMOTE SENSING LETTERS, 2014, 11 (03) : 706 - 710
12345