CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement

Published in TSE, 2020