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).