Synthesizing racy tests.

Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan

Browse the full PLDI paper archive.