Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades
ACM Digital Library