Eitan Farchi Bradley R. Harrington Assisting the Code Review Process Using Simple Pattern Recognition. 103-115 2005 conf/hvc/2005 Haifa Verification Conference http://dx.doi.org/10.1007/11678779_8 db/conf/hvc/hvc2005.html#FarchiH05