TY - CHAP AU - Foster, Michael AU - Brucker, Achim D. AU - Taylor, Ramsay G. AU - North, Siobhán AU - Derrick, John ED - Ölveczky, Peter C. ED - Salaün, Gwen PY - 2019 DA - 2019// TI - Incorporating Data into EFSM Inference BT - Software Engineering and Formal Methods (SEFM) T3 - Lecture Notes in Computer Science SP - 257 EP - 272 IS - 11724 PB - Springer-Verlag CY - Heidelberg KW - EFSM Inference, Model Inference, Reverse Engineering AB - Models are an important way of understanding software systems. If they do not already exist, then we need to infer them from system behaviour. Most current approaches infer classical FSM models that do not consider data, thus limiting applicability. EFSMs provide a way to concisely model systems with an internal state but existing inference techniques either do not infer models which allow outputs to be computed from inputs, or rely heavily on comprehensive white-box traces that reveal the internal program state, which are often unavailable. In this paper, we present an approach for inferring EFSM models, including functions that modify the internal state. Our technique uses black-box traces which only contain information visible to an external observer of the system. We implemented our approach as a prototype. SN - 3-540-25109-X L1 - https://www.brucker.ch/bibliography/download/2019/foster.ea-incorporating-2019.pdf UR - https://www.brucker.ch/bibliography/abstract/foster.ea-incorporating-2019 UR - https://doi.org/10.1007/978-3-030-30446-1_14 DO - 10.1007/978-3-030-30446-1_14 LA - USenglish ID - foster.ea:incorporating:2019 ER -