William Durand

According to our database, William Durand authored at least 6 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

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

2016

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

PhD thesis, 2016

2015

Passive testing of production systems based on model inference.

William Durand, Sébastien Salva

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems.

William Durand, Sébastien Salva

Proceedings of the FM 2015: Formal Methods, 2015

Autofunk, a fast and scalable framework for building formal models from production systems.

Sébastien Salva, William Durand

Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, 2015

2014

Inferring models with rule-based expert systems.

William Durand, Sébastien Salva

Proceedings of the Fifth Symposium on Information and Communication Technology, 2014