Model inference ; symbolic transition system ; expert system ; pro-duction system ; regression testing

Autofunk: an inference-based formal model generation framework for production systems