首页    期刊浏览 2024年11月26日 星期二
登录注册

文章基本信息

  • 标题:ThreadSafe: Static Analysis for Java Concurrency
  • 本地全文:下载
  • 作者:Robert Atkey ; Donald Sannella
  • 期刊名称:Electronic Communications of the EASST
  • 电子版ISSN:1863-2122
  • 出版年度:2015
  • 卷号:72
  • DOI:10.14279/tuj.eceasst.72.1025
  • 语种:English
  • 出版社:European Association of Software Science and Technology (EASST)
  • 摘要:ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defects. ThreadSafe’s bug-finding capabilities and its look and feel are presented through examples of bugs found in the codebases of two widely-used open source projects.
  • 其他摘要:ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defects. ThreadSafe’s bug-finding capabilities and its look and feel are presented through examples of bugs found in the codebases of two widely-used open source projects.
国家哲学社会科学文献中心版权所有