The University of Sheffield
Download file
Download file
Download file
Download file
Download file
5 files

Using Genetic Programming to Infer Output and Update Functions for EFSM Transitions

Download all (5.11 GB)
posted on 2021-08-24, 08:33 authored by John FosterJohn Foster, Neil WalkinshawNeil Walkinshaw, John DerrickJohn Derrick
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 with those inferred by MINT, the current state of the art ( 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

Data description

  • The file formats are open or commonly used

Methodology, headings and units

  • There is a readme.txt file describing the methodology, headings and units