Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States.
Haoze WuJia PanPeng HuangPublished in: NSDI (2024)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- distributed database systems
- load balancing
- fault tolerance
- geographically distributed
- distributed computing
- message passing
- mobile agents
- real time systems
- data replication
- operating system
- replicated data
- concurrent systems
- root cause
- multi agent systems
- complexity analysis
- software systems
- source code
- software engineering
- object oriented
- digital libraries