1. Validation and verification of expert systems using evidence flow graphs;Becker,1989
2. Software testing techniques;Beizer,1983
3. Testing and correcting rule-based expert systems;Bellman,1988
4. A knowledge-based approach to the conceptual design of space systems;Bellman,1988