Shay Artzi Adam Kiezun David Glasser Michael D. Ernst Combined static and dynamic mutability analysis. 104-113 2007 conf/kbse/2007 ASE http://doi.acm.org/10.1145/1321631.1321649 db/conf/kbse/ase2007.html#ArtziKGE07