Producing scheduling that causes concurrent programs to fail