Michal Rozsíval

Publication Results

• 2025

  Michal Rozsíval, Petr Matoušek, Jaromír Kotala. Poster: Multi-Agent LLM System for Cisco Router Configuration. In 2025 23rd International Symposium on Network Computing and Applications (NCA). Lisbon, Portugal: IEEE, 2025. p. 306-307. ISBN: 979-8-3315-7842-8. Detail

• 2024

  ROZSÍVAL, M. Automated Testing of Networked Systems Reliability. In ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. Vienna: Association for Computing Machinery, 2024. p. 1920-1922. ISBN: 979-8-4007-0612-7. Detail

  ROZSÍVAL, M.; SMRČKA, A.; VOJNAR, T. Automated Testing of Reliability of Networked Systems. In 2024 IEEE 17th International Scientific Conference on Informatics Proceedings. Poprad: Institute of Electrical and Electronics Engineers, 2024. p. 312-317. ISBN: 979-8-3503-8768-1. Detail

• 2023

  SMRČKA, A.; ROZSÍVAL, M. NetLoiter: A Tool for Automated Testing of Network Applications using Fault-injection. In Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023. Porto: Institute of Electrical and Electronics Engineers, 2023. p. 207-210. ISBN: 979-8-3503-2543-0. Detail