The lazy happens-before relation: better partial-order reduction for systematic concurrency testing.

Paul Thomson, Alastair F. Donaldson

Browse the full PPoPP paper archive.