We consider the state mapping problem for dynamic software updates and propose a number of approaches that have the potential of automating the state mapping in practical setting. Categories and Subject Descriptors D.2.7 [Software]: Distribution, Maintenance, and Enhancement—Enhancement General Terms Live Software Update, Program Slicing, Unification, Bug Fixes Keywords Software Evolution, Dynamic Updates, Backward Compatibility
Rida A. Bazzi, Kristis Makris, Peyman Nayeri, Jun