文章基本信息

标题：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.