An implementation of Chess heisenbug detector for concurrent programs by systematically exploring different instruction schedules.