LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction.

Jeff Huang, Charles Zhang

Browse the full OOPSLA paper archive.