DMCA

LEAN: Simplifying concurrency bug reproduction via Replay-supported Execution Reduction (2012)

by Jeff Huang , Charles Zhang
Venue:In OOPSLA
Citations:7 - 1 self