Knowledge-based systems' validation: when to stop running test cases | Publicación