William Durand Papers I've written.


I have conducted research as a PhD student for Michelin, from January 2013 to May 2016. My two main research fields are software testing and (formal) model inference, which I link together by developing Model-based Testing techniques. You can find my publications below, and you may also have a look at my DBLP entry.


    • William Durand. Automated Test Generation for production systems with a Model-based Testing approach. [pdf] [link]


    • William Durand, Sébastien Salva. Passive testing of production systems based on model inference. Proceedings of the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE '15, Austin, Texax, USA, September 21-23, 2015. [doi] [pdf]
    • Sébastien Salva, William Durand. Autofunk, a fast and scalable framework for building formal models from production systems. Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, DEBS '15, Oslo, Norway, June 29 - July 3, 2015. [doi] [pdf]
    • William Durand, Sébastien Salva. Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems. FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015. [doi] [pdf]


    • William Durand, Sébastien Salva. Inferring models with rule-based expert systems. Proceedings of the Fifth Symposium on Information and Communication Technology, SoICT '14, Hanoi, Vietnam, December 4-5, 2014. [doi] [pdf]
    • William Durand, Sébastien Salva. Inférence de modeles dirigée par la logique métier. Actes de la 13eme édition d’AFADL, atelier francophone sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Juin 2014.