Soucha, M. and Bogdanov, K. (2020) Observation tree approach : active learning relying on testing. The Computer Journal, 63 (9). pp. 1298-1310. ISSN 0010-4620
Abstract
The correspondence of active learning and testing of finite-state machines (FSMs) has been known for a while; however, it was not utilized in the learning. We propose a new framework called the observation tree approach that allows one to use the testing theory to improve the performance of active learning. The improvement is demonstrated on three novel learning algorithms that implement the observation tree approach. They outperform the standard learning algorithms, such as the L* algorithm, in the setting where a minimally adequate teacher provides counterexamples. Moreover, they can also significantly reduce the dependency on the teacher using the assumption of extra states that is well-established in the testing of FSMs. This is immensely helpful as a teacher does not have to be available if one learns a model of a black box, such as a system only accessible via a network.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © The British Computer Society 2019. |
Keywords: | Model Inference; Active Learning; Finite-State Machine; Automata Inference; Observation Tree; Software Testing |
Dates: |
|
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: | 24 May 2019 11:52 |
Last Modified: | 03 Dec 2021 08:22 |
Status: | Published |
Publisher: | Oxford University Press |
Refereed: | Yes |
Identification Number: | 10.1093/comjnl/bxz056 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:146040 |