Analyzing software updates: Should you build a dynamic updating infrastructure?

被引：0
|
作者：
Gharaibeh, Bashar [1 ]
Rajan, Hridesh [1 ]
Chang, J. Morris [1 ]
机构：
[1] Iowa State University, United States
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2011年 / 6603 LNCS卷
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Program debugging
引用
下载
收藏
页码：371 / 385
相关论文
共 50 条
  • [31] Should you adopt open source software?
    Ven, Kris
    Verelst, Jan
    Mannaert, Herwig
    IEEE SOFTWARE, 2008, 25 (03) : 54 - 59
  • [32] SOFTWARE - WHAT IS IT AND WHAT SHOULD YOU LOOK FOR
    BLACKWELL, LG
    LANGWORTHY, VW
    WATER-ENGINEERING & MANAGEMENT, 1985, 132 (03): : 19 - 19
  • [33] CESAR: A Testbed Infrastructure to Evaluate the Efficiency of Wireless Automotive Software Updates
    Steger, Marco
    Boano, Carlo A.
    Romer, Kay
    Karner, Michael
    Hillebrand, Joachim
    Rom, Werner
    PROCEEDINGS OF THE 20TH ACM INTERNATIONAL CONFERENCE ON MODELLING, ANALYSIS AND SIMULATION OF WIRELESS AND MOBILE SYSTEMS (MSWIM'17), 2017, : 311 - 315
  • [34] Specifying and analyzing dynamic software architectures
    Allen, R
    Douence, R
    Garlan, D
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 21 - 37
  • [35] Formalization and Verification of Behavioral Correctness of Dynamic Software Updates
    Zhang, Min
    Ogata, Kazuhiro
    Futatsugi, Kokichi
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2013, 294 : 12 - 23
  • [36] Tedsuto: A General Framework for Testing Dynamic Software Updates
    Pina, Luis
    Hicks, Michael
    2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 278 - U625
  • [37] Dynamic Software Updates: A VM-centric Approach
    Subramanian, Suriya
    Hicks, Michael
    McKinley, Kathryn S.
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 1 - 12
  • [38] Javelus: A Low Disruptive Approach to Dynamic Software Updates
    Gu, Tianxiao
    Cao, Chun
    Xu, Chang
    Ma, Xiaoxing
    Zhang, Linghao
    Lu, Jian
    2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 527 - 536
  • [39] Synthesizing Object State Transformers for Dynamic Software Updates
    Zhao, Zelin
    Jiang, Yanyan
    Xu, Chang
    Gu, Tianxiao
    Ma, Xiaoxing
    2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2021), 2021, : 1111 - 1122
  • [40] A Formal Study of Backward Compatible Dynamic Software Updates
    Shen, Jun
    Bazzi, Rida A.
    SOFTWARE ENGINEERING AND FORMAL METHODS, 2015, 9276 : 231 - 248
12345