Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades