Vaclav Rechtberger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2020–2022
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICST | Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs. | Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed |
| 2022 | ICST | Prioritized Variable-length Test Cases Generation for Finite State Machines. | Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach |
| 2021 | ICST | 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 |
| 2021 | WorldCIST | 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 |
| 2020 | SEFM | 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 |