Context: Security testing is a challenging and effort-demanding task in IoT scenarios. The
heterogeneous devices expose different vulnerabilities that can influence the methods and …

The utilization of blockchain technology as a distributed information sharing system has
gained widespread adoption across various domains. However, its application to Flying Ad …

Human errors are attributed to a majority of accidents and malfunctions in complex
engineered systems. The human error and functional failure reasoning (HEFFR) framework …

The Internet-of-Things (IoT) scenarios commonly present security and privacy concerns,
either due to the processing constraints of devices or the employment of external servers to …

Model‐based testing (MBT) relies on models of the system's behaviour to generate abstract
tests. Testers can reuse formal models using MBT to increase confidence in critical systems …

Safety and effectiveness are crucial quality attributes for insulin infusion pump systems.
Therefore, regulatory agencies require the quality evaluation and approval of such systems …

High-level Petri nets such as coloured Petri nets (CPNs) are characterized by the
combination of Petri nets and a high-level programming language. In CPNs and CPN Tools …

High-level Petri nets such as Coloured Petri Nets (CPNs) are characterised by the
combination of Petri nets and a high-level programming language. In the context of CPNs …

Abstract Model-based testing is an approach to software testing based on generating test
cases from models. The test cases are then executed against a system under test. Coloured …

The state space explosion restricts the error detection of concurrent software. The
abstraction can provide a solution to avoid state space explosion, but it is easy to ignore …