CTrigger: exposing atomicity violation bugs from their hiding places
Race directed random testing of concurrent programs