Sébastien Salva
Sébastien Salva
Home
Research
Tools
Publications
Teaching
Projects
Contact
Light
Dark
Automatic
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
Cite
×