Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability
RacerX: effective, static detection of race conditions and deadlocks