For CS 6535 at Northeastern University (Spring 2014), testing shared-memory concurrent programs in C