Finding Concurrency-Related Bugs Using Random Isolation
Abstract elided by the publisher.
Related papers
- Instrumentation and sampling strategies for cooperative concurrency bug isolation OOPSLA 2010
- Concurrency testing using schedule bounding: an empirical study PPoPP 2014
- Trace aware random testing for distributed systems OOPSLA 2019
- Why is random testing effective for partition tolerance bugs? POPL 2018
- Random testing for C and C++ compilers with YARPGen OOPSLA 2020
- Isolating and understanding concurrency errors using reconstructed execution fragments PLDI 2011
- Coupled Relational Symbolic Execution for Differential Privacy ESOP 2021
- Checking Observational Correctness of Database Systems OOPSLA 2025