Efficient detection of thread safety violations via coverage-guided generation of concurrent tests.

Ankit Choudhary, Shan Lu, Michael Pradel

Browse the full ICSE paper archive.