“Methods and systems to identify and reproduce concurrency violations in multi-threaded programs” (10,191,834)