Efficient static checking of library updates. - Darius Foo; Hendy Chua; Jason Yeo; Ming Yi Ang; Asankhaya Sharma (ESEC/SIGSOFT FSE, 2018)