Bastian Braun SAVE: static analysis on versioning entities. 25-32 2008 SESS http://doi.acm.org/10.1145/1370905.1370909 conf/icse/2008sess db/conf/icse/sess2008.html#Braun08