Model Transformation Co-evolution: A Semi-automatic Approach
Abstract elided by the publisher.
Related papers
- A Novel Approach to Semi-automated Evolution of DSML Model Transformation SLE 2009
- Feedback-driven semi-supervised synthesis of program transformations OOPSLA 2020
- Generalized Property-Directed Reachability for Hybrid Systems VMCAI 2020
- Automated Co-evolution of GMF Editor Models SLE 2010
- CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors PLDI 2007
- Automatic creation of tile size selection models CGO 2010
- The Evolution of Programs: A System for Automatic Program Modification POPL 1977
- Reducing Nondeterminism while Specializing Logic Programs POPL 1997