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 条
  • [41] Template-based fabrication of nanoporous metals
    Thomas A. Rebbecchi
    Ying Chen
    Journal of Materials Research, 2018, 33 : 2 - 15
  • [42] Template-based construction of verified software
    Hemer, D
    Lindsay, PA
    IEE PROCEEDINGS-SOFTWARE, 2005, 152 (01): : 2 - 12
  • [43] Template-based underwater image compression
    Nip, Alexander M.
    Choi, Song K.
    PROCEEDINGS OF THE SIXTEENTH (2006) INTERNATIONAL OFFSHORE AND POLAR ENGINEERING CONFERENCE, VOL 2, 2006, : 183 - 186
  • [44] Template-based online character recognition
    Connell, SD
    Jain, AK
    PATTERN RECOGNITION, 2001, 34 (01) : 1 - 14
  • [45] Template-based reconstruction of the oral cavity
    Chepeha, Douglas B.
    ORAL ONCOLOGY, 2011, 47 : S10 - S11
  • [46] Template-based stabilization of relative equilibria
    Ahuja, Sunil
    Kevrekidis, Ioannis G.
    Rowley, Clarence W.
    2006 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2006, 1-12 : 3606 - +
  • [47] Probabilistic Template-Based Chord Recognition
    Oudre, Laurent
    Fevotte, Cedric
    Grenier, Yves
    IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, 2011, 19 (08): : 2249 - 2259
  • [48] Benchmarking template-based tracking algorithms
    Sebastian Lieberknecht
    Selim Benhimane
    Peter Meier
    Nassir Navab
    Virtual Reality, 2011, 15 : 99 - 108
  • [49] Template-based continuous speech recognition
    De Wachter, Mathias
    Matton, Mike
    Demuynck, Kris
    Wambacq, Patrick
    Cools, Ronald
    Van Compernolle, Dirk
    IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, 2007, 15 (04): : 1377 - 1390
  • [50] Template-Based Sampling of Anisotropic BRDFs
    Filip, J.
    Vavra, R.
    COMPUTER GRAPHICS FORUM, 2014, 33 (07) : 91 - 99
12345