Yves Le Traon Test et diagnostic - des objets aux modèles. 17 2006 conf/lmo/2006 LMO db/conf/lmo/lmo2006.html#Traon06