Fixing deadlocks via lock pre-acquisitions
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability