Zobrazeno 1 - 10
of 171
pro vyhledávání: '"BURES, Miroslav"'
Autor:
Smith, Sheldon, Robinson, Ethan, Frederiksen, Timmy, Stevens, Trae, Cerny, Tomas, Bures, Miroslav, Taibi, Davide
Publikováno v:
IEEE SOSE 2023
Testing microservice systems involves a large amount of planning and problem-solving. The difficulty of testing microservice systems increases as the size and structure of such systems become more complex. To help the microservice community and simpl
Externí odkaz:
http://arxiv.org/abs/2306.05895
Finite State Machine is a popular modeling notation for various systems, especially software and electronic. Test paths can be automatically generated from the system model to test such systems using a suitable algorithm. This paper presents a strate
Externí odkaz:
http://arxiv.org/abs/2207.12172
Internet of Things (IoT) systems are recently being employed in various types of critical infrastructure, including integrated rescue systems, healthcare, defence, energy and other fields. Recently, the security and safety of IoT systems, in general,
Externí odkaz:
http://arxiv.org/abs/2205.13576
Publikováno v:
In Internet of Things December 2024 28
Test Coverage criteria are an essential concept for test engineers when generating the test cases from a System Under Test model. They are routinely used in test case generation for user interfaces, middleware, and back-end system parts for software,
Externí odkaz:
http://arxiv.org/abs/2203.09604
Autor:
Rechtberger, Vaclav, Bures, Miroslav, Ahmed, Bestoun S., Belkhier, Youcef, Nema, Jiri, Schvach, Hynek
Model-based Testing (MBT) is an effective approach for testing when parts of a system-under-test have the characteristics of a finite state machine (FSM). Despite various strategies in the literature on this topic, little work exists to handle specia
Externí odkaz:
http://arxiv.org/abs/2203.09596
Autor:
Ukwandu, Elochukwu, Farah, Mohamed Amine Ben, Hindy, Hanan, Bures, Miroslav, Atkinson, Robert, Tachtatzis, Christos, Bellekens, Xavier
The integration of Information and Communication Technology (ICT) tools into mechanical devices found in aviation industry has raised security concerns. The more integrated the system, the more vulnerable due to the inherent vulnerabilities found in
Externí odkaz:
http://arxiv.org/abs/2107.04910
Autor:
Hindy, Hanan, Atkinson, Robert, Tachtatzis, Christos, Bayne, Ethan, Bures, Miroslav, Bellekens, Xavier
Publikováno v:
MDPI Sensors 2021, 21, 1761. Special Issue: Security and Privacy in the Internet of Things (IoT)
Cyber-attacks continue to grow, both in terms of volume and sophistication. This is aided by an increase in available computational power, expanding attack surfaces, and advancements in the human understanding of how to make attacks undetectable. Uns
Externí odkaz:
http://arxiv.org/abs/2103.04208