Author:
Laneve Cosimo,Garcia Abel
Publisher
Springer International Publishing
Reference14 articles.
1. Atkey, R., Sannella, D.: ThreadSafe: static analysis for Java concurrency. In: ECEASST, vol. 72 (2015). http://journal.ub.tu-berlin.de/eceasst/article/view/1025
2. Lecture Notes in Computer Science;S Bensalem,2006
3. Eslamimehr, M., Palsberg, J.: Sherlock: scalable deadlock detection for concurrent programs. In Proceedings of the 22nd International Symposium on Foundations of Software Engineering (FSE-22), pp. 353–365. ACM (2014)
4. Ferrara, P.: Checkmate: a generic static analyzer of java multithreaded programs. In: Proceedings of 7th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, pp. 169–178. IEEE Computer Society (2009)
5. Lecture Notes in Computer Science;AE Flores-Montoya,2013
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Compositional Deadlock Detector for Android Java;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11
2. Deadlock Detection of Java Bytecode;Logic-Based Program Synthesis and Transformation;2018