ThreadSafe : static analysis for Java concurrency
Atkey, Robert and Sannella, Donald (2015) ThreadSafe : static analysis for Java concurrency. Electronic Communications of the EASST, 72. ISSN 1863-2122 (https://doi.org/10.14279/tuj.eceasst.72.1025)
Preview |
Text.
Filename: Atkey_Sannella_ECEASST2015_Threadsafe.pdf
Final Published Version License: Download (367kB)| Preview |
Abstract
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.
-
-
Item type: Article ID code: 60190 Dates: DateEvent30 November 2015Published18 November 2015AcceptedSubjects: Science > Mathematics > Computer software Department: Faculty of Science > Computer and Information Sciences Depositing user: Pure Administrator Date deposited: 14 Mar 2017 17:01 Last modified: 07 Aug 2024 01:24 Related URLs: URI: https://strathprints.strath.ac.uk/id/eprint/60190
CORE (COnnecting REpositories)