A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Inferring models with rule-based expert systems
2014
Proceedings of the Fifth Symposium on Information and Communication Technology - SoICT '14
Many works related to software engineering rely upon formal models, e.g., to perform model-checking or automatic test case generation. Nonetheless, producing such models is usually tedious and error-prone. Model inference is a research field helping in producing models by generating partial models from documentation or execution traces (observed action sequences). This paper presents a new model generation method combining model inference and expert systems. It appears that an engineer is able
doi:10.1145/2676585.2676615
dblp:conf/soict/DurandS14
fatcat:zvh4anvkozfildl4dnlqh7d6oq