Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Vaclav Rechtberger
Map detail
Vaclav Rechtberger9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipVaclav RechtbergerAVaclav RechtbergerResearcherOverview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed GraphsWOverview of Test Covera...preprint / 2022Prioritized Variable-length Test Cases Generation for Finite State MachinesWPrioritized Variable-le...preprint / 2022Novel Strategy Generating Variable-length State Machine Test PathsWNovel Strategy Generati...preprint / 2022Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT SystemsWAlternative Effort-opti...preprint / 2020PatrIoT: IoT Automated Interoperability and Integration Testing FrameworkWPatrIoT: IoT Automated ...preprint / 2021Review of Specific Features and Challenges in the Current Internet of Things Systems Impacting their Security and ReliabilityWReview of Specific Feat...preprint / 2021Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping StudyWInteroperability and In...preprint / 2020Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-based ApproachWTesting the Usability a...preprint / 2020
Person8 links

Vaclav Rechtberger

Researcher