Vaclav Rechtberger

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 21

Top Topics

Temporal Dependencies

Specific Features

Top Venues

Publications

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