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

  • William DurandEmail author
  • Sébastien Salva
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9109)


In this paper, we present Autofunk, a fast and scalable framework designed at Michelin to automatically build formal models (Symbolic Transition Systems) based on production messages gathered from production systems themselves. Our approach combines model-driven engineering with rule-based expert systems and human knowledge.


Model inference Symbolic transition system Expert system Production system Regression testing 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abdulla, P.A., Kaati, L., Högberg, J.: Bisimulation minimization of tree automata. In: Ibarra, O.H., Yen, H.-C. (eds.) CIAA 2006. LNCS, vol. 4094, pp. 173–185. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    Frantzen, L., Tretmans, J., Willemse, T.A.C.: Test Generation Based on Symbolic Specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 1–15. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Mariani, L., Pezze, M.: Dynamic detection of cots component incompatibility. IEEE Software 24(5), 76–85 (2007)CrossRefGoogle Scholar
  4. 4.
    Memon, A., Banerjee, I., Nagarajan, A.: Gui ripping: Reverse engineering of graphical user interfaces for testing. In: Proceedings of the 10th Working Conference on Reverse Engineering, WCRE 2003, p. 260. IEEE Computer Society, Washington, DC (2003), CrossRefGoogle Scholar
  5. 5.
    Mesbah, A., van Deursen, A., Lenselink, S.: Crawling Ajax-based web applications through dynamic analysis of user interface state changes. ACM Transactions on the Web (TWEB) 6(1), 3:1–3:30 (2012)Google Scholar
  6. 6.
    Salva, S., Durand, W.: Inferring formal models from production systems. Tech. rep., LIMOS, LIMOS Research Report RR-15-02 (2015),

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.MichelinClermont-FerrandFrance
  2. 2.Auvergne UniversityClermont-FerrandFrance

Personalised recommendations