Author:
Du Yunkai,Gu Naijie,Cao Huaxiong
Publisher
Springer Science and Business Media LLC
Reference31 articles.
1. Agarwal, R.; Stoller, S.D.: Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. In: Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, ACM, pp. 51–60 (2006)
2. Agarwal, R.; Wang, L.; Stoller, S.D.: Detecting potential deadlocks with static analysis and run-time monitoring. In: Namjoshi, K., Xeller, A., Ziv, A. (eds) Hardware and Software, Verification and Testing, pp. 191–207. Springer, Berlin (2006)
3. Bensalem, S.; Havelund, K.: Scalable deadlock analysis of multi-threaded programs. In: Proceedings of the Parallel and Distributed Systems: Testing and Debugging (PADTAD) Track of the 2005 IBM Verification Conference. Springer (2005)
4. Breuer, P.T.; Valls, M.G.: Static deadlock detection in the linux kernel. In: Reliable Software Technologies-Ada-Europe 2004, pp. 52–64. Springer (2004)
5. Cai, Y.; Chan, W.: Magiclock: scalable detection of potential deadlocks in large-scale multithreaded programs. In: IEEE Transactions on Software Engineering (2014)