Michal Rozsíval

dblp:354/4675 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Software testing
automated testing
0.812024
Automated Testing of Networked Systems Reliability · ISSTA 2024
Software testing › mutation testing
fault injection
0.812024
Automated Testing of Networked Systems Reliability · ISSTA 2024
Network management and operations › fault management
fault diagnosis
0.212024
Automated Testing of Networked Systems Reliability · ISSTA 2024
Internet of things and sensor networks › reliability
iot system reliability
0.212024
Automated Testing of Networked Systems Reliability · ISSTA 2024

Methods — techniques the papers use, named apart from their topics

model-based testing · 1.5
YearPublicationVenuePosition
2025 Poster: Multi-Agent LLM System for Cisco Router Configuration
abstract
Every 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
NCA1
2024 Automated Testing of Networked Systems Reliability
abstract
The 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
ISSTA1