CloudRaid: hunting concurrency bugs in the cloud via log-mining

Published in ESEC/FSE CCF-A, 2018