research
∙
07/25/2022
Novel Strategy Generating Variable-length State Machine Test Paths
Finite State Machine is a popular modeling notation for various systems,...
share
research
∙
03/17/2022
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs
Test Coverage criteria are an essential concept for test engineers when ...
research
∙
03/17/2022
Prioritized Variable-length Test Cases Generation for Finite State Machines
Model-based Testing (MBT) is an effective approach for testing when part...
research
∙
01/27/2021
PatrIoT: IoT Automated Interoperability and Integration Testing Framework
With the rapid growth of the contemporary Internet of Things (IoT) marke...
research
∙
01/05/2021
Review of Specific Features and Challenges in the Current Internet of Things Systems Impacting their Security and Reliability
The current development of the Internet of Things (IoT) technology poses...
research
∙
11/21/2020
Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model
In testing of software and Internet of Things (IoT) systems, one of nece...
research
∙
11/21/2020
Quality and Reliability Metrics for IoT Systems: A Consolidated View
Quality and reliability metrics play an important role in the evaluation...
research
∙
07/22/2020
Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
The recent active development of Internet of Things (IoT) solutions in v...
research
∙
05/20/2020
Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems
To effectively test parts of the Internet of Things (IoT) systems with a...
research
∙
04/03/2020
