EDBT 2026 Demo / reviewers in the wild / expert
Michal Rozsíval
dblp:354/4675
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2025
0009-0004-4656-9486ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Software testing · 100% | |
| Computer networks
1 paper |
Network management and operations · 50% Internet of things and sensor networks · 50% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
automated testing |
0.8 | 1 | 2024 | Automated Testing of Networked Systems Reliability · ISSTA 2024 |
Software testing › mutation testing
fault injection |
0.8 | 1 | 2024 | Automated Testing of Networked Systems Reliability · ISSTA 2024 |
Network management and operations › fault management
fault diagnosis |
0.2 | 1 | 2024 | Automated Testing of Networked Systems Reliability · ISSTA 2024 |
Internet of things and sensor networks › reliability
iot system reliability |
0.2 | 1 | 2024 | Automated Testing of Networked Systems Reliability · ISSTA 2024 |
Methods — techniques the papers use, named apart from their topics
model-based testing · 1.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Poster: Multi-Agent LLM System for Cisco Router ConfigurationabstractEvery network device has a configuration file containing the current settings and operational functionality such as IP addresses, running routing processes, and filtering rules. When new functionality is requested, the network administrator updates the configuration file by adding new commands. This process can be automated using an LLM model that understands the configuration language and can generate the relevant configuration commands. This paper presents a multi-agent LLM system that generates network configurations. Our approach uses a sequence of LLM-based agents to decompose the original configuration task, expressed in natural language, into logical subtasks, which are then translated into configuration commands. The proposed LLM-based configuration generation process includes validation and suggests sanity tests to eliminate potential errors. We demonstrate our approach by generating Cisco IOS configuration files for multiple devices. We also propose a dataset of non-trivial reference configurations for evaluating generation accuracy. Michal Rozsíval, Petr Matousek, Jaromír Kotala |
NCA | 1 |
| 2024 | Automated Testing of Networked Systems ReliabilityabstractThe reliability of a network is a crucial requirement for systems such as IoT, client-server, or cloud-based solutions. Unfortunately, real networks cannot be assumed to be fault-free, especially when considering various hardware problems, performance issues, or malicious attacks. Testing networked systems should therefore include evaluating fault tolerance under various network conditions. The paper presents a doctoral research project on automated verification of networked systems using fault-attack injection using a derived model of network communication. Michal Rozsíval |
ISSTA | 1 |