CHESS: Systematic Stress Testing of Concurrent Software.

Madan Musuvathi, Shaz Qadeer

Browse the full LOPSTR paper archive.