Active Bibliography

11 CHESS: A Systematic Testing Tool for Concurrent Software – Madanlal Musuvathi, Shaz Qadeer, Thomas Ball - 2007
15 2ndstrike: toward manifesting hidden concurrency typestate bugs – Qi Gao, Facebook Inc, Wenbin Zhang, Zhezhe Chen, Mai Zheng, Feng Qin - 2011
Uniparallel execution and its uses – Kaushik Veeraraghavan - 2011
A System for Detecting, Preventing and Exposing Atomicity Violations in Multithreaded Programs – Lee Chew, Lee Chew
36 A randomized scheduler with probabilistic guarantees of finding bugs – Sebastian Burckhardt, Madanlal Musuvathi - 2010
41 stateless model checking – Madanlal Musuvathi, Shaz Qadeer - 2008
Systematic and Scalable Testing of Concurrent Programs – David G. Andersen, Andre Platzer - 2013
503 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
599 A Survey of Rollback-Recovery Protocols in Message-Passing Systems – E. N. ( Mootaz) Elnozahy, Lorenzo Alvisi, Yi-min Wang, David B. Johnson - 1996