Publication result detail

Automated Testing of Networked Systems Reliability

ROZSÍVAL, M.

Original Title

Automated Testing of Networked Systems Reliability

English Title

Automated Testing of Networked Systems Reliability

Type

Paper in proceedings (conference paper)

Original 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.

English 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.

Keywords

networked systems, testing, fault/attack injection, network model

Key words in English

networked systems, testing, fault/attack injection, network model

Authors

ROZSÍVAL, M.

RIV year

2025

Released

11.09.2024

Publisher

Association for Computing Machinery

Location

Vienna

ISBN

979-8-4007-0612-7

Book

ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis

Pages from

1920

Pages to

1922

Pages count

3

URL

https://dl.acm.org/doi/pdf/10.1145/3650212.3685559

Full text in the Digital Library

http://hdl.handle.net/11012/250749

BibTex

@inproceedings{BUT196921,
  author="Michal {Rozsíval}",
  title="Automated Testing of Networked Systems Reliability",
  booktitle="ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis",
  year="2024",
  pages="1920--1922",
  publisher="Association for Computing Machinery",
  address="Vienna",
  doi="10.1145/3650212.3685559",
  isbn="979-8-4007-0612-7",
  url="https://dl.acm.org/doi/pdf/10.1145/3650212.3685559"
}

Documents

3650212.3685559