Clash of the Titans: tools and techniques for hunting bugs in concurrent programs