Data and Analysis Code for GP EFSM Inference
暂无分享,去创建一个
This artifact captures the workflow that we adopted for our experimental evaluation in our ICSME paper on inferring state transition functions during EFSM inference. To summarise, the paper uses Genetic Programming to infer data transformations, to enable the inference of fully 'computational' extended finite state machine models. This submission shows how we generated, transformed, analysed, and visualised our raw data. It includes everything needed to generate raw results and provides the relevant R code in the form of a re-usable Jupyter Notebook (accompanied by a descriptive narrative).
[1] Mathew Hall,et al. Inferring Computational State Machine Models from Program Executions , 2016, 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME).