Coen De Roover Johan Brichau Theo D'Hondt Combining fuzzy logic and behavioral similarity for non-strict program validation. 15-26 2006 conf/ppdp/2006 PPDP http://doi.acm.org/10.1145/1140335.1140339 db/conf/ppdp/ppdp2006.html#RooverBD06