Model inference ; automatic testing ; IOSTS ; expert system

Inferring models with rule-based expert systems.