ThreadSafe: Static Analysis for Java Concurrency

Robert Atkey; Donald Sannella

首页> 外文期刊>Electronic Communications of the EASST >ThreadSafe: Static Analysis for Java Concurrency

【24h】

ThreadSafe: Static Analysis for Java Concurrency

机译：ThreadSafe：Java并发静态分析

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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是一种商业静态分析工具，专注于Java并发缺陷的检测。通过在两个广泛使用的开源项目的代码库中发现的错误示例，展示了ThreadSafe的错误查找功能及其外观。

著录项

来源
《Electronic Communications of the EASST》 |2015年第11期|共16页
作者
Robert Atkey; Donald Sannella;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类电子计算机的应用;
关键词

相似文献

外文文献
中文文献
专利

1. A Method For Verifying Concurrent Java Components Based On An Analysis Of Concurrency Failures [J] . Brad Long, Paul Strooper, Luke Wildman Concurrency and Computation . 2007,第3期

机译：基于并发故障分析的并发Java组件验证方法
2. PerfOrmance Analysis of ODD-Even Merge Sort By Using OPENMP, MPI and Concurrent Java [J] . M Rajasekhara Babu, P venkata Krishna, Dinesh Kumar, International Journal of Engineering Research and Applications . 2011,第3期

机译：使用OPENMP，MPI和并发Java对ODD甚至是合并排序的性能分析
3. Anomaly detection in concurrent Java programs using dynamic data flow analysis [J] . Kassem Saleh, Abdel Aziz Boujarwah, Jehad Al-Dallal Information and software technology . 2001,第15期

机译：使用动态数据流分析的并发Java程序中的异常检测
4. Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components [C] . Margaret A. Wojcicki, Paul Strooper, PPaul Strooper Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering . 2006

机译：最大化从并发Java组件的代码检查和静态分析的实验分析获得的信息
5. Identification and Annotation of Concurrency Design Patterns in Java Source Code using Static Analysis. [D] . Mwebesa, Martin. 2011

机译：使用静态分析来识别和注释Java源代码中的并发设计模式。
6. A threaded Java concurrent implementation of the Monte-Carlo Metropolis Ising model [O] . Carlos Castañeda-Marroquín, Alfonso Ortega de la Puente, Manuel Alfonseca, -1

机译：Monte-Carlo Metropolis Ising模型的螺纹Java并发实现
7. ThreadSafe : static analysis for Java concurrency [O] . Atkey Robert, Sannella Donald 2015

机译：ThreadSafe：针对Java并发的静态分析

ThreadSafe: Static Analysis for Java Concurrency

摘要

著录项

相似文献

相关主题

期刊订阅