Text this: Validation, verification, and test of knowledge-based systems /