Detecting Fair Non-termination in Multithreaded Programs. - Atig, Mohamed Faouzi; Bouajjani, Ahmed; Emmi, Michael; Lal, Akash (2012)