Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Nagendra, Srinidhi"'
We present a coverage-guided testing algorithm for distributed systems implementations. Our main innovation is the use of an abstract formal model of the system that is used to define coverage. Such abstract models are frequently developed in early p
Externí odkaz:
http://arxiv.org/abs/2410.02307
Bugs in popular distributed protocol implementations have been the source of many downtimes in popular internet services. We describe a randomized testing approach for distributed protocol implementations based on reinforcement learning. Since the na
Externí odkaz:
http://arxiv.org/abs/2409.02137
Large-scale, fault-tolerant, distributed systems are the backbone for many critical software services. Since they must execute correctly in a possibly adversarial environment with arbitrary communication delays and failures, the underlying algorithms
Externí odkaz:
http://arxiv.org/abs/2303.05893