Laure Brisoux Éric Grégoire Lakhdar Sais Validation of Knowledge-Based Systems by Means of Stochastic Search. 41-46 1998 DEXA Workshop db/conf/dexaw/dexaw98.html#BrisouxGS98