CONCURRIT: a domain specific language for reproducing concurrency bugs.

Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen

Browse the full PLDI paper archive.