Validation of knowledge-based systems by means of stochastic search | IEEE Conference Publication | IEEE Xplore