Reverse-Engineering EFSMs with Data Dependencies

Created by W.Langdon from gp-bibliography.bib Revision:1.6946

@InProceedings{Foster:2021:ICTSS,

• author = "Michael Foster and John Derrick and Neil Walkinshaw",
• title = "Reverse-Engineering {EFSMs} with Data Dependencies",
• booktitle = "33rd IFIP International Conference on Testing Software and Systems",
• year = "2021",
• address = "virtual",
• month = "10-11 " # nov,
• keywords = "genetic algorithms, genetic programming, SBSE, EFSM Inference, Model Inference",
• URL = "https://eprints.whiterose.ac.uk/177494/",
• size = "16 pages",
• abstract = "EFSMs provide a way to model systems with internal data variables. In situations where they do not already exist, we need to infer them from system behaviour. A key challenge here is inferring the functions which relate inputs, outputs, and internal variables. Existing approaches either work with white-box traces, which expose variable values, or rely upon the user to provide heuristics to recognise and generalise particular data-usage patterns. This paper presents a preprocessing technique for the inference process which generalises the concrete values from the traces into symbolic functions which calculate output from input, even when this depends on values not present in the original traces. Our results show that our technique leads to more accurate models than are produced by the current state-of-the-art and that somewhat accurate models can still be inferred even when the output of particular transitions depends on values not present in the original traces.",
• notes = "http://ictss2021.cs.ucl.ac.uk/",

}

Genetic Programming entries for Michael Foster John Derrick Neil Walkinshaw

Citations