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

Published in ESEC/FSE, 2018