Directed Synthesis of Failing Concurrent Executions

  Abstract