Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications