Result Details
Automated Testing of Networked Systems Reliability
        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.
    
                Type
            
        
                conference paper
            
        
                Language
            
        
                English
            
        
            Authors
            
        
                Rozsíval Michal, Ing., DITS (FIT)
            
        
                    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
                URL
            
        
                Published
            
            
                    2024
                    
                
            
                    Pages
                
            
                        1920–1922
                
            
                        Proceedings
                
            
                    ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis
                
            
                    Conference
                
            
                    ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
                
            
                    ISBN
                
            
                    979-8-4007-0612-7
                
            
                    Publisher
                
            
                    Association for Computing Machinery
                
            
                    Place
                
            
                    Vienna
                
            
                    DOI
                
            
                    UT WoS
                
            
                    001324606300168
                
            
                EID Scopus
                
            
                    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"
}
                
                Files
            
        
                Projects
            
        
        
            
        
    
    
        Reliable, Secure, and Intelligent Computer Systems, BUT, Vnitřní projekty VUT, FIT-S-23-8151, start: 2023-03-01, end: 2026-02-28, running
            
        
                Departments