Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability.

Yiyan Lin, Sandeep S. Kulkarni

Browse the full ISSTA paper archive.