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)
- 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