Testing and Active Learning of Resettable Finite-State Machines

Soucha, Michal (2019) Testing and Active Learning of Resettable Finite-State Machines. PhD thesis, University of Sheffield.

Abstract

Metadata

Supervisors: Bogdanov, Kirill and Struth, Georg
Publicly visible additional information: Author's library FSMlib for handling Finite-State Machines, their testing and learning is available at https://github.com/Soucha/FSMlib and machines with experiments' results at https://github.com/Soucha/FSMmodels/tree/ExperimentsThesis2017
Keywords: finite-state machine, separating sequence, software testing, active learning, automata inference, deterministic finite acceptor, Mealy machine, Moore machine
Awarding institution: University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Computer Science (Sheffield)
The University of Sheffield > Faculty of Science (Sheffield) > Computer Science (Sheffield)
Identification Number/EthosID: uk.bl.ethos.778840
Depositing User: Ing. Michal Soucha
Date Deposited: 16 Jul 2019 13:21
Last Modified: 25 Sep 2019 20:08

Download

190616_Soucha_LearningFSM

Export

Statistics


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.