LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction | Conference Paper individual record