An Automated Framework To Debug System-Level Concurrency Failures