Synthesizing Object State Transformers for Dynamic Software Updates.

Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma

Browse the full ICSE paper archive.