David Binkley Source Code Analysis: A Road Map. 104-119 2007 FOSE http://doi.acm.org/10.1145/1253532.1254713 conf/icse/2007fose db/conf/icse/fose2007.html#Binkley07