Vaclav Rechtberger

21 papers A 1B 1Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2022 J jnl
Novel Strategy Generating Variable-Length State Machine Test Paths.
Int. J. Softw. Eng. Knowl. Eng.
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Hynek Schvach
2022 J jnl
Novel Strategy Generating Variable-length State Machine Test Paths.
CoRR
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Hynek Schvach
2022 — conf
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs.
ICST Workshops
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
2022 J jnl
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs.
CoRR
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
2022 — conf
Prioritized Variable-length Test Cases Generation for Finite State Machines.
ICST Workshops
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach
2022 J jnl
Prioritized Variable-length Test Cases Generation for Finite State Machines.
CoRR
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach
2022 J jnl
Selected Code-Quality Characteristics and Metrics for Internet of Things Systems.
IEEE Access
Matej Klima, Miroslav Bures, Karel Frajták, Vaclav Rechtberger, Michal Trnka, Xavier J. A. Bellekens, Tomás Cerný, Bestoun S. Ahmed
2021 A conf
PatrIoT: IoT Automated Interoperability and Integration Testing Framework.
ICST
Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout
2021 J jnl
PatrIoT: IoT Automated Interoperability and Integration Testing Framework.
CoRR
Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout
2021 — conf
Review of Specific Features and Challenges in the Current Internet of Things Systems Impacting Their Security and Reliability.
WorldCIST (3)
Miroslav Bures, Matej Klima, Vaclav Rechtberger, Bestoun S. Ahmed, Hanan Hindy, Xavier J. A. Bellekens
2021 J jnl
Review of Specific Features and Challenges in the Current Internet of Things Systems Impacting their Security and Reliability.
CoRR
Miroslav Bures, Matej Klima, Vaclav Rechtberger, Bestoun S. Ahmed, Hanan Hindy, Xavier J. A. Bellekens
2020 — conf
Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems.
WSSE
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
2020 J jnl
Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems.
CoRR
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
2020 — conf
Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model.
ESSE
Miroslav Bures, Vaclav Rechtberger
2020 J jnl
Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model.
CoRR
Miroslav Bures, Vaclav Rechtberger
2020 B conf
Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study.
SEFM
Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier J. A. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed
2020 J jnl
Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study.
CoRR
Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier J. A. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed
2020 — conf
Quality and Reliability Metrics for IoT Systems: A Consolidated View.
SmartCity360°
Matej Klima, Vaclav Rechtberger, Miroslav Bures, Xavier J. A. Bellekens, Hanan Hindy, Bestoun S. Ahmed
2020 J jnl
Quality and Reliability Metrics for IoT Systems: A Consolidated View.
CoRR
Matej Klima, Vaclav Rechtberger, Miroslav Bures, Xavier J. A. Bellekens, Hanan Hindy, Bestoun S. Ahmed
2020 J jnl
Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-Based Approach.
IEEE Trans. Consumer Electron.
Miroslav Bures, Miroslav Macik, Bestoun S. Ahmed, Vaclav Rechtberger, Pavel Slavík
2020 J jnl
Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-based Approach.
CoRR
Miroslav Bures, Miroslav Macik, Bestoun S. Ahmed, Vaclav Rechtberger, Pavel Slavík