zchenxi/pasta

PASTA (PAtch STAtes)

Homage: https://zelinzhao.github.io/pasta/

PASTA is a tool for auotmatically synthesis of object state transformers in dynamic software updates (DSU) of Java programs. Given a code change (both old and new versions) and a field to be updated, PASTA automatically gives a list of candidate object transformers.

• Research Paper: “Synthesizing object state transformers for dynamic software updates” (ICSE'21)
  • Paper preprint (PDF)
  • Detail description of studied updates
• Research artifact
  • Requirements: standard JDK, ant, and maven
  • Download and install: simply clone and make
• Running PASTA
  • Tutorial: try PASTA on a class update now!
  • Docker image: all experimental subjects in a package, push-button to run