Themis: Detecting Distributed Concurrency Bugs through RPC-Driven Race-Directed Test Generation and Fuzzing.

Hongchen Cao, Jingzhu He, Ting Dai, Guoliang Jin

Browse the full NSDI paper archive.