References

Agarwal, R., S. Bensalem, E. Farchi, K. Havelund and Y. Nir-Buchbinder et al., 2010. Detection of deadlock potentials in multithreaded programs. J. Res. Dev., Vol. 54. 10.1147/JRD.2010.2060276

Bodden, E. and K. Havelund, 2010. Aspect-oriented race detection in Java. IEEE Trans. Software Eng., 36: 509-527.
CrossRef  |  Direct Link  |  

Chen, K.Y., J.M. Chang and T.W. Hou, 2011. Multithreading in Java: Performance and scalability on multicore systems. IEEE Trans. Comput., 60: 1521-1534.
CrossRef  |  Direct Link  |  

Flanagana, C. and S.N. Freund, 2006. Type inference against races. Sci. Comput. Program., 64: 140-165.
CrossRef  |  Direct Link  |  

Flanagana, C. and S.N. Freund, 2008. Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program., 71: 89-109.
CrossRef  |  Direct Link  |  

Hasanzade, E. and S.M. Babamir, 2012. An artificial neural network based model for online prediction of potential deadlock in multithread programs. Proceedings of the 16th CSI International Symposium on Artificial Intelligence and Signal Processing, May 2-3, 2012, Shiraz, Iran, pp: 417-422.

Joshi, P., C.S. Park, K. Sen and M. Naik, 2009. A randomized dynamic program analysis technique for detecting real deadlocks. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 15-21, 2009, Dublin, Ireland -.

Luo, Z.D., R. Das and Y. Qi, 2011. Multicore SDK: A practical and efficient deadlock detector for real-world applications. Proceedings of the IEEE 4th International Conference on Software Testing, Verification and Validation, March 21-25, 2011, Berlin, Germany, pp: 309-318.

Radoi, C. and D. Dig, 2013. Practical static race detection for java parallel loops. Proceedings of the International Symposium on Software Testing and Analysis, July 15-20, 2013, Lugano, Switzerland -.

Wen , Y., J. Zhao, M.H. Huang and H. Chen, 2011. Towards detecting thread deadlock in Java programs with JVM introspection. Proceedings of the IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, November16-18, 2011, Changsha, China, pp: 1600-1607.