Model inference ; automatic testing ; IOSTS ; expert system