On the public citation graph
Why is random testing effective for partition tolerance bugs?
0 signed · 50 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-58179-0_49openalex-snapshot
On the random walk method for protocol testing
inferredcites →https://doi.org/10.1007/978-3-0346-0425-3_1openalex-snapshot
Algebraic and Probabilistic Methods in Discrete Mathematics
inferredcites →https://doi.org/10.1007/978-3-319-41540-6_9openalex-snapshot
Hitting Families of Schedules for Asynchronous Programs
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_22openalex-snapshot
On Verifying Fault Tolerance of Distributed Protocols
inferredcites →https://doi.org/10.1016/j.ic.2016.03.006openalex-snapshot
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability
inferredcites →https://doi.org/10.1017/s0963548300001905openalex-snapshot
t-Covering Arrays: Upper Bounds and Poisson Approximations
inferredcites →https://doi.org/10.1063/1.4822863openalex-snapshot
Concrete Mathematics: A Foundation for Computer Science
inferredcites →https://doi.org/10.1109/18.6031openalex-snapshot
Vector sets for exhaustive testing of logic circuits
inferredcites →https://doi.org/10.1109/fmcad.2008.ecp.29openalex-snapshot
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance
inferredcites →https://doi.org/10.1137/0603036openalex-snapshot
The Complexity of the Partial Order Dimension Problem
inferredcites →https://doi.org/10.1145/1735970.1736040openalex-snapshot
A randomized scheduler with probabilistic guarantees of finding bugs
inferredcites →https://doi.org/10.1145/1736020.1736040openalex-snapshot
A randomized scheduler with probabilistic guarantees of finding bugs
inferredcites →https://doi.org/10.1145/2723372.2723711openalex-snapshot
Lineage-driven Fault Injection
inferredcites →https://doi.org/10.1145/2737924.2737958openalex-snapshot
Verdi: a framework for implementing and formally verifying distributed systems
inferredcites →https://doi.org/10.1145/2844108openalex-snapshot
The verification of a distributed system
inferredcites →https://doi.org/10.1145/2857274.2889274openalex-snapshot
The Verification of a Distributed System
inferredcites →https://doi.org/10.1145/343477.343502openalex-snapshot
Towards robust distributed systems (abstract)
inferredcites →https://doi.org/10.1145/564585.564601openalex-snapshot
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services
inferredcites →https://doi.org/10.1145/75246.75276openalex-snapshot
Protocol validation in complex systems
inferredcites →https://doi.org/10.1145/828.1884openalex-snapshot
Storing a Sparse Table with 0 (1) Worst Case Access Time
inferredcites →https://doi.org/10.4169/amer.math.monthly.124.2.179openalex-snapshot
Problems and Solutions
inferredcites →https://doi.org/10.5555/1972457.1972482openalex-snapshot
FATE and DESTINI: a framework for cloud recovery testing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-71500-7_9openalex-snapshot
Paracosm: A Test Framework for Autonomous Driving Simulations
inferred← citeshttps://doi.org/10.1007/978-3-030-99527-0_12openalex-snapshot
A Theoretical Analysis of Random Regression Test Prioritization
inferred← citeshttps://doi.org/10.1109/cec48606.2020.9185561openalex-snapshot
Generating Tree Inputs for Testing using Evolutionary Computation Techniques
inferred← citeshttps://doi.org/10.1109/dsn58291.2024.00016openalex-snapshot
Mutiny! How Does Kubernetes Fail, and What Can We Do About It?
inferred← citeshttps://doi.org/10.1109/icse-seip58684.2023.00009openalex-snapshot
Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm
inferred← citeshttps://doi.org/10.1109/icst62969.2025.10988979openalex-snapshot
Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm
inferred← citeshttps://doi.org/10.1109/prdc59308.2023.00029openalex-snapshot
Liveness Checking of the HotStuff Protocol Family
inferred← citeshttps://doi.org/10.1109/srds60354.2023.00017openalex-snapshot
CASPR: Connectivity-Aware Scheduling for Partition Resilience
inferred← citeshttps://doi.org/10.1109/tse.2023.3285357openalex-snapshot
Enhancing Fault Injection Testing of Service Systems via Fault-Tolerance Bottleneck
inferred← citeshttps://doi.org/10.1145/3276530openalex-snapshot
Randomized testing of distributed systems with probabilistic guarantees
inferred← citeshttps://doi.org/10.1145/3360606openalex-snapshot
Trace aware random testing for distributed systems
inferred← citeshttps://doi.org/10.1145/3368089.3409729openalex-snapshot
Fuzzing: on the exponential cost of vulnerability discovery
inferred← citeshttps://doi.org/10.1145/3458336.3465276openalex-snapshot
Reasoning about modern datacenter infrastructures using partial histories
inferred← citeshttps://doi.org/10.1145/3519939.3523728openalex-snapshot
Quickstrom: property-based acceptance testing with LTL specifications
inferred← citeshttps://doi.org/10.1145/3576915.3623097openalex-snapshot
Greybox Fuzzing of Distributed Systems
inferred← citeshttps://doi.org/10.1145/3586053openalex-snapshot
Randomized Testing of Byzantine Fault Tolerant Algorithms
inferred← citeshttps://doi.org/10.1145/3591247openalex-snapshot
Psym: Efficient Symbolic Exploration of Distributed Systems
inferred← citeshttps://doi.org/10.1145/3694715.3695971openalex-snapshot
If At First You Don’t Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems
inferred← citeshttps://doi.org/10.1145/3832092openalex-snapshot
Testing Computation Pushdown in Distributed Database Systems
inferred← citeshttps://doi.org/10.22331/q-2020-09-11-321openalex-snapshot
Detecting crosstalk errors in quantum information processors
inferred← citeshttps://doi.org/10.23919/fmcad.2018.8603016openalex-snapshot
Learning Linear Temporal Properties
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.