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

William Durand, sébastien Salva
June, 2015
PDF Cite
Type
1
Publication
20th International Symposium on Formal Methods, FME 2015
Model inference ; symbolic transition system ; expert system ; pro-duction system ; regression testing