Automated Testing of Networked Systems Reliability

Rozsíval, Michal

doi:10.1145/3650212.3685559

Automated Testing of Networked Systems Reliability

dc.contributor.author	Rozsíval, Michal	cs
dc.date.issued	2024-09-11	cs
dc.description.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.	en
dc.description.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.	en
dc.format	text	cs
dc.format.extent	1920-1922	cs
dc.format.mimetype	application/pdf	cs
dc.identifier.citation	ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. 2024, p. 1920-1922.	en
dc.identifier.doi	10.1145/3650212.3685559	cs
dc.identifier.isbn	979-8-4007-0612-7	cs
dc.identifier.orcid	0009-0004-4656-9486	cs
dc.identifier.other	196921	cs
dc.identifier.uri	http://hdl.handle.net/11012/250749
dc.language.iso	en	cs
dc.publisher	Association for Computing Machinery	cs
dc.relation.ispartof	ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis	cs
dc.relation.uri	https://dl.acm.org/doi/pdf/10.1145/3650212.3685559	cs
dc.rights	Creative Commons Attribution 4.0 International	cs
dc.rights.access	openAccess	cs
dc.rights.uri	http://creativecommons.org/licenses/by/4.0/	cs
dc.subject	networked systems	en
dc.subject	testing	en
dc.subject	fault/attack injection	en
dc.subject	network model	en
dc.subject	networked systems
dc.subject	testing
dc.subject	fault/attack injection
dc.subject	network model
dc.title	Automated Testing of Networked Systems Reliability	en
dc.title.alternative	Automated Testing of Networked Systems Reliability	en
dc.type.driver	conferenceObject	en
dc.type.status	Peer-reviewed	en
dc.type.version	publishedVersion	en
sync.item.dbid	VAV-196921	en
sync.item.dbtype	VAV	en
sync.item.insts	2025.10.14 14:13:17	en
sync.item.modts	2025.10.14 10:14:57	en
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs

Files

Original bundle

Now showing 1 - 1 of 1

Name:: 3650212.3685559.pdf
Size:: 131.24 KB
Format:: Adobe Portable Document Format
Description:: file 3650212.3685559.pdf

Download

Collections

Ústav inteligentních systémů