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

Autofunk: an inference-based formal model generation framework for production systems
William Durand, sébastien Salva
PDF Cite