Active inference of EFSMs without reset

Foster, M. orcid.org/0000-0001-8233-9873, Groz, R. orcid.org/0000-0003-3730-8300, Oriat, C. orcid.org/0000-0002-5674-0855 et al. (3 more authors) (2023) Active inference of EFSMs without reset. In: Li, Y. and Tahar, S., (eds.) Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. 24th International Conference on Formal Engineering Methods, ICFEM 2023, 21-24 Nov 2023, Brisbane, QLD, Australia. Lecture Notes in Computer Science, LNCS 14308 . Springer Singapore , pp. 29-46. ISBN 9789819975839

Abstract

Extended finite state machines (EFSMs) model stateful systems with internal data variables, and have many software engineering applications, including system analysis and test case generation. Where such models are not available, it is desirable to reverse engineer them by observing system behaviour, but existing approaches are either limited to classical FSM models with no internal data state, or implicitly require the ability to reset the system under inference, which may not always be possible. In this paper, we present an extension to the hW-inference algorithm that can infer EFSM models, complete with guards and internal data update functions, from systems without a reliable reset, although there are currently some restrictions on the type of system and model.

Metadata

Item Type:	Proceedings Paper
Authors/Creators:	Foster, M. https://orcid.org/0000-0001-8233-9873 Groz, R. https://orcid.org/0000-0003-3730-8300 Oriat, C. https://orcid.org/0000-0002-5674-0855 Simao, A. https://orcid.org/0000-0002-1454-2607 Vega, G. https://orcid.org/0000-0002-3652-8945 Walkinshaw, N. https://orcid.org/0000-0003-2134-6548
Editors:	Li, Y. Tahar, S.
Copyright, Publisher and Additional Information:	© 2023 The Authors. Except as otherwise noted, this author-accepted version of a paper published in Li, Y., Tahar, S. (eds) Formal Methods and Software Engineering. ICFEM 2023. Lecture Notes in Computer Science, vol 14308 is made available via the University of Sheffield Research Publications and Copyright Policy under the terms of the Creative Commons Attribution 4.0 International License (CC-BY 4.0), which permits unrestricted use, distribution and reproduction in any medium, provided the original work is properly cited. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/
Keywords:	Information and Computing Sciences; Software Engineering
Dates:	Published: 9 November 2023 Published (online): 9 November 2023 Submitted: 23 May 2023
Institution:	The University of Sheffield
Academic Units:	The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User:	Symplectic Sheffield
Date Deposited:	18 Jan 2024 16:31
Last Modified:	18 Jan 2024 21:44
Status:	Published
Publisher:	Springer Singapore
Series Name:	Lecture Notes in Computer Science
Refereed:	Yes
Identification Number:	10.1007/978-981-99-7584-6_3
Open Archives Initiative ID (OAI ID):	oai:eprints.whiterose.ac.uk:207973

Download

Accepted Version

Filename: MiningCollaboration.pdf

Licence: CC-BY 4.0

CLICK TO DOWNLOAD

CORE (COnnecting REpositories)

Active inference of EFSMs without reset

Abstract

Metadata

Download

Accepted Version

Export

Statistics