Analyzing and predicting concurrency bugs in open source systems | IEEE Conference Publication | IEEE Xplore