On the Random Walk Method for Protocol Testing
Abstract elided by the publisher.
Related papers
- Uniform Random Generation of Balanced Parenthesis Strings TOPLAS 1980
- High-Throughput GPU Random Walk with Fine-Tuned Concurrent Query Processing PPoPP 2023
- Randomized Testing of Byzantine Fault Tolerant Algorithms OOPSLA 2023
- Measurement-Based Verification of Quantum Markov Chains CAV 2024
- Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM OOPSLA 2025
- Model-Guided Fuzzing of Distributed Systems OOPSLA 2025
- Probabilistic Refinement Session Types PLDI 2025
- Protocol combinators for modeling, testing, and execution of distributed systems JFP 2021