Vaclav Rechtberger

According to our database, Vaclav Rechtberger authored at least 11 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Novel Strategy Generating Variable-Length State Machine Test Paths.

Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Hynek Schvach

Int. J. Softw. Eng. Knowl. Eng., 2022

Selected Code-Quality Characteristics and Metrics for Internet of Things Systems.

Matej Klima, Miroslav Bures, Karel Frajták, Vaclav Rechtberger, Michal Trnka, Xavier J. A. Bellekens, Tomás Cerný, Bestoun S. Ahmed

IEEE Access, 2022

Prioritized Variable-length Test Cases Generation for Finite State Machines.

Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs.

Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

2021

Review of Specific Features and Challenges in the Current Internet of Things Systems Impacting Their Security and Reliability.

Miroslav Bures, Matej Klima, Vaclav Rechtberger, Bestoun S. Ahmed, Hanan Hindy, Xavier J. A. Bellekens

Proceedings of the Trends and Applications in Information Systems and Technologies, 2021

PatrIoT: IoT Automated Interoperability and Integration Testing Framework.

Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020

Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-Based Approach.

Miroslav Bures, Miroslav Macik, Bestoun S. Ahmed, Vaclav Rechtberger, Pavel Slavík

IEEE Trans. Consumer Electron., 2020

Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems.

Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed

Proceedings of the WSSE 2020: The 2nd World Symposium on Software Engineering, 2020

Quality and Reliability Metrics for IoT Systems: A Consolidated View.

Matej Klima, Vaclav Rechtberger, Miroslav Bures, Xavier J. A. Bellekens, Hanan Hindy, Bestoun S. Ahmed

Proceedings of the Science and Technologies for Smart Cities, 2020

Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study.

Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier J. A. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model.

Miroslav Bures, Vaclav Rechtberger

Proceedings of the ESSE 2020: 2020 European Symposium on Software Engineering, 2020