Dave King 0002 Trent Jaeger Somesh Jha Sanjit A. Seshia Effective blame for information-flow violations. 250-260 2008 SIGSOFT FSE http://doi.acm.org/10.1145/1453101.1453135 conf/sigsoft/2008 db/conf/sigsoft/fse2008.html#KingJJS08