SMT-based Debugging Support for Context-oriented Programming

被引：0
|
作者：
机构：
[1] Uchio, Shizuka
[2] Ubayashi, Naoyasu
[3] Kamei, Yasutaka
来源：
Uchio, S. | 1600年 / Japan Society for Software Science and Technology卷 / 29期
关键词：
8;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] SMT-based generation of symbolic automata
    Xudong Qin
    Simon Bliudze
    Eric Madelaine
    Zechen Hou
    Yuxin Deng
    Min Zhang
    Acta Informatica, 2020, 57 : 627 - 656
  • [42] SMT-Based Software Model Checking
    Cimatti, Alessandro
    MODEL CHECKING SOFTWARE, 2010, 6349 : 1 - 3
  • [43] Requirements Analysis for Context-oriented Systems
    Kirsch-Pinheiro, Manuele
    Mazo, Raul
    Souveyet, Carine
    Sprovieri, Danillo
    7TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT 2016) / THE 6TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2016) / AFFILIATED WORKSHOPS, 2016, 83 : 253 - 261
  • [44] Language Abstractions and Techniques for Developing Collective Adaptive Systems Using Context-oriented Programming
    Cardozo, Nicolas
    Dusparic, Ivana
    2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS COMPANION (ACSOS-C 2020), 2020, : 133 - 138
  • [45] Scoping changes in self-supporting development environments using context-oriented programming
    Hasso-Plattner-Institut, Universität Potsdam, Germany
    Int. Workshop Context-Oriented Program., COP - Co-located Eur. Conf. Object-Oriented Program., ECOOP, 1600,
  • [46] SMT-Based Variability Analyses in FeatureIDE
    Sprey, Joshua
    Sundermann, Chico
    Krieter, Sebastian
    Nieke, Michael
    Mauro, Jacopo
    Thiim, Thomas
    Schaefer, Ina
    PROCEEDINGS OF THE 14TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS (VAMOS '20), 2020,
  • [47] Context-oriented design of industrial exoskeletons
    Hoffmann, Niclas
    Ralfs, Lennart
    Weidner, Robert
    Konstruktion, 2024, 76 (8-9): : 64 - 70
  • [48] SMT-Based Verification of Parameterized Systems
    Gurfinkel, Arie
    Shoham, Sharon
    Meshman, Yuri
    FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 338 - 348
  • [49] SMT-based generation of symbolic automata
    Qin, Xudong
    Bliudze, Simon
    Madelaine, Eric
    Hou, Zechen
    Deng, Yuxin
    Zhang, Min
    ACTA INFORMATICA, 2020, 57 (3-5) : 627 - 656
  • [50] SMT-Based Array Invariant Generation
    Larraz, Daniel
    Rodriguez-Carbonell, Enric
    Rubio, Albert
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2013), 2013, 7737 : 169 - 188
12345