PASTA: Synthesizing Object State Transformers for Dynamic Software Updates

被引：1
|
作者：
Zhao, Zelin [1 ,2 ]
Jiang, Yanyan [1 ,2 ]
Xu, Chang [1 ,2 ]
Gu, Tianxiao [3 ]
Ma, Xiaoxing [1 ,2 ]
机构：
[1] Nanjing Univ, State Key Lab Novel Software Technol, Nanjing, Peoples R China
[2] Nanjing Univ, Dept Comp Sci & Technol, Nanjing, Peoples R China
[3] Alibaba Grp, Sunnyvale, CA USA
来源：
2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021) | 2021年
关键词：
D O I：
10.1109/ICSE-Companion52605.2021.00094
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Object transformation (upgrading heap objects to their new-version counterparts) is a crucial step in dynamic software update (DSU). However, providing non-trivial object transformers for complex software updates can be difficult for software developers and upgrade maintainers. This paper presents the design and implementation of PASTA, a tool for automatic object transformer synthesis.
引用
收藏
页码：211 / 212
页数：2
相关论文
共 50 条
  • [1] 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
  • [2] TOAST: Automated Testing of Object Transformers in Dynamic Software Updates
    Zhao, Ze-Lin
    Huang, Di
    Ma, Xiao-Xing
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2022, 37 (01) : 50 - 66
  • [3] TOAST: Automated Testing of Object Transformers in Dynamic Software Updates
    Ze-Lin Zhao
    Di Huang
    Xiao-Xing Ma
    Journal of Computer Science and Technology, 2022, 37 : 50 - 66
  • [4] Synthesizing Object Transformation for Dynamic Software Updating
    Gu, Tianxiao
    Ma, Xiaoxing
    Xu, Chang
    Jiang, Yanyan
    Cao, Chun
    Lu, Jian
    PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), 2017, : 336 - 338
  • [5] Using Runtime State Analysis to Decide Applicability of Dynamic Software Updates
    Selajev, Oleg
    Gregersen, Allan
    ICSOFT: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2017, : 38 - 49
  • [6] Genrih, a Runtime State Analysis System for Deciding the Applicability of Dynamic Software Updates
    Selajev, Oleg
    Gregersen, Allan Raundahl
    SOFTWARE TECHNOLOGIES ( ICSOFT 2017), 2018, 868 : 135 - 159
  • [7] Testing for Dynamic Software Update: An Object-State-Oriented Approach
    Huang, Di
    Zhao, Zelin
    Ma, Xiaoxing
    THE 12TH ASIA-PACIFIC SYMPOSIUM ON INTERNETWARE, INTERNETWARE 2020, 2021, : 41 - 50
  • [8] Scheduling Dynamic Software Updates in Mobile Robots
    El Yaacoub, Ahmed
    Mottola, Luca
    Voigt, Thiemo
    Ruemmer, Philipp
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2023, 22 (06)
  • [9] Dynamic Software Updates for Accelerating Scientific Discovery
    Kim, Dong Kwan
    Song, Myoungkyu
    Tilevich, Eli
    Ribbens, Calvin J.
    Bohner, Shawn A.
    COMPUTATIONAL SCIENCE - ICCS 2009, PART I, 2009, 5544 : 237 - 247
  • [10] Specifying and Verifying the Correctness of Dynamic Software Updates
    Hayden, Christopher M.
    Magill, Stephen
    Hicks, Michael
    Foster, Nate
    Foster, Jeffrey S.
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2012, 7152 : 278 - +
12345