Naouel Moha Yann-Gaël Guéhéneuc Pierre Leduc Automatic Generation of Detection Algorithms for Design Defects. 297-300 2006 conf/kbse/2006 ASE http://doi.ieeecomputersociety.org/10.1109/ASE.2006.22 db/conf/kbse/ase2006.html#MohaGL06