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
31 A randomized scheduler with probabilistic guarantees of finding bugs – Sebastian Burckhardt, Madanlal Musuvathi - 2010
36 stateless model checking – Madanlal Musuvathi, Shaz Qadeer - 2008
Systematic and Scalable Testing of Concurrent Programs – David G. Andersen, Andre Platzer - 2013
553 A Survey of Rollback-Recovery Protocols in Message-Passing Systems – E. N. ( Mootaz) Elnozahy, Lorenzo Alvisi, Yi-min Wang, David B. Johnson - 1996
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1273 The model checker SPIN – Gerard J. Holzmann - 1997