1. A Domain Analysis to Specify DesignDefects and Generate Detection AlgorithmsNaouel Moha, Yann-Gaël Guéhéneuc,Anne-Françoise Le Meur, Laurence DuchienPtidej Team, GEODES,…
