1. Agarwal, R., Stoller, S.D.: Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. In: Proc. of Workshop on Parallel and Distributed Systems: Testing and Debugging, pp. 51–60 (2006)
2. Agarwal, R., Wang, L., Stoller, S.: Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. Hardware and Software, Verification and Testing, pp. 191–207 (2006)
3. Open Source Mail Archive (2004) Message #150. URL http://osdir.com/ml/java.hsqldb.user/2004-03/msg00150.html
4. Open Source Mail Archive (2008) Bug 159. URL http://osdir.com/ml/java.openjdk.distro-packaging.devel/2008-06/msg00061.html
5. Artho, C., Biere, A.: Applying static analysis to large-scale, multi-threaded Java programs. In: Proc. of the 13th Australian Conference on Software Engineering, p. 68 (2001)