TDD for multi-threaded programs