Domain-Driven Model Inference Applied To Web Applications

Abstract : Model inference methods are attracting increased attention from industrials and researchers since they can be used to generate models for software comprehension, for test case generation, or for helping devise a complete model (or documentation). In this context, this paper presents an original inference model approach which recovers models from Web application HTTP traces. This approach combines formal model inference with domain-driven expert systems. Our framework, whose purpose is to simulate this human behaviour, is composed of inference rules, translating the domain expert knowledge, organised into layers. Each yields partial IOSTSs (Input Output Symbolic Transition System), which become more and more abstract and intelligible.
Document type :
Conference papers
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download
Contributor : Sébastien Salva <>
Submitted on : Thursday, February 14, 2019 - 4:54:42 PM
Last modification on : Monday, January 20, 2020 - 12:12:06 PM
Long-term archiving on: Wednesday, May 15, 2019 - 8:39:43 PM


Files produced by the author(s)


  • HAL Id : hal-02019715, version 1


Sébastien Salva, William Durand. Domain-Driven Model Inference Applied To Web Applications. 2014 International Conference on Software Engineering Research and Practice (SERP14), Jul 2014, Las vegas, United States. ⟨hal-02019715⟩



Record views


Files downloads