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

Yiyan Lin Sandeep S. Kulkarni

Published in: ISSTA (2014)

Keyphrases

multi threaded
maximum satisfiability
operating system
information flow
computer architecture
multi core processors
boolean satisfiability
real time
neural network
multithreading
genetic algorithm
social networks
computer science
scheduling problem
genetic programming
parallel computing