Inferring models with rule-based expert systems. - William Durand; Sébastien Salva (SoICT, 2014)

Autofunk, a fast and scalable framework for building formal models from production systems. - Sébastien Salva; William Durand (DEBS, 2015)

Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems. - William Durand; Sébastien Salva (FM, 2015)

Passive testing of production systems based on model inference. - William Durand; Sébastien Salva (MEMOCODE, 2015)

Automated test generation for production systems with a model-based testing approach. (Génération de tests automatisés pour des systèmes de production avec une approche basée modèle). - William Durand (2016)

Combining Model Inference and Passive Testing in the Same Framework to Test Industrial Systems. - Sébastien Salva; William Durand (Int. J. Inf. Syst. Model. Des., 2017)