Zelin Zhao, Yanyan Jiang 0001, Chang Xu 0001, Tianxiao Gu, Xiaoxing Ma. Synthesizing Object State Transformers for Dynamic Software Updates. In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021. pages 1111-1122, IEEE, 2021. [doi]
Abstract is missing.