Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability
CIL: Intermediate language and tools for analysis and transformation of C programs