DMCA

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

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