Daniel J. Quinlan Richard W. Vuduc Ghassan Misherghi Techniques for specifying bug patterns. 27-35 2007 PADTAD http://doi.acm.org/10.1145/1273647.1273654 conf/issta/2007p db/conf/issta/padtad2007.html#QuinlanVM07