A trace simplification technique for effective debugging of concurrent programs