Tim Menzies Charles Pecheur Verification and Validation and Artificial Intelligence. 154-203 2005 65 Advances in Computers db/journals/ac/ac65.html#MenziesP05