ConSeq: detecting concurrency bugs through sequential errors
Analyzing multicore dumps to facilitate concurrency bug reproduction