Michal Rozsíval

Publications

• 2024

  ROZSÍVAL Michal. 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, pp. 1920-1922. ISBN 979-8-4007-0612-7.
  Detail

  ROZSÍVAL Michal, SMRČKA Aleš and VOJNAR Tomáš. 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, pp. 312-317. ISBN 979-8-3503-8768-1.
  Detail

• 2023

  ROZSÍVAL Michal and SMRČKA Aleš. 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, pp. 207-210. ISBN 979-8-3503-2543-0.
  Detail