Preemption Sealing for Efficient Concurrency Testing.

Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer

Browse the full TACAS paper archive.