2019
DOI: 10.1007/978-3-030-20652-9_1
|View full text |Cite
|
Sign up to set email alerts
|

Learning-Based Testing of an Industrial Measurement Device

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
3
0

Year Published

2019
2019
2023
2023

Publication Types

Select...
4
1

Relationship

2
3

Authors

Journals

citations
Cited by 7 publications
(3 citation statements)
references
References 24 publications
0
3
0
Order By: Relevance
“…They detected security vulnerabilities in the 802.11 4-Way handshake protocol by testing Wi-Fi routers. Aichernig et al [4] propose an industrial application for learning-based testing of measurement devices in the automotive industry. Both case studies emphasize our observation that nondeterministic behavior hampers the inference of behavioral models via active automata learning.…”
Section: Related Workmentioning
confidence: 99%
“…They detected security vulnerabilities in the 802.11 4-Way handshake protocol by testing Wi-Fi routers. Aichernig et al [4] propose an industrial application for learning-based testing of measurement devices in the automotive industry. Both case studies emphasize our observation that nondeterministic behavior hampers the inference of behavioral models via active automata learning.…”
Section: Related Workmentioning
confidence: 99%
“…However, a too coarse view on the system creates non-determinism, which leads back to the second problem. In the literature, several work on learning-based testing [23,8,3] stress the problem of observing non-deterministic behavior during learning. However, we already find learning algorithms [7,16,11] for observable non-deterministic reactive systems.…”
Section: Introductionmentioning
confidence: 99%
“…(2) We propose a new abstraction technique that manages these challenges. (3) We introduce a new active learning algorithm that integrates our proposed abstraction technique and, therefore, learns a more abstract model of a non-deterministic system. (4) We show the applicability of our algorithm in a case study and compare it to existing algorithms for deterministic finite state machines (FSMs).…”
Section: Introductionmentioning
confidence: 99%