Extended finite state machines (EFSMs) provide a way to model systems with internal data variables. A key challenge here is inferring the functions which relate inputs, outputs, and internal variables, especially when such variables do not appear in the traces. In this investigation, we compare the accuracy of EFSMs inferred by our technique (available at https://github.com/jmafoster1/efsm-inference) with those inferred by MINT, the current state of the art (https://github.com/neilwalkinshaw/mintframework). Our results show that our technique produces more accurate models than MINT where the two techniques are comparable and that, unlike MINT, our technique is still applicable even when the output of particular transitions depends on values not present in the original traces.
There is no personal data or any that requires ethical approval
The data complies with the institution and funders' policies on access and sharing
Sharing and access restrictions
The data can be shared openly
The file formats are open or commonly used
Methodology, headings and units
There is a readme.txt file describing the methodology, headings and units