POLLUX: Safely Upgrading Dependent Application Libraries

Publication
In ACM SIGSOFT Foundations of Software Engineering, Seattle USA, 2016