PASTA: Synthesizing Object State Transformers for Dynamic Software Updates | IEEE Conference Publication | IEEE Xplore