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.

ORCID iDs

Atkey, Robert ORCID: https://orcid.org/0000-0002-4414-5047

• Share and Export
  

  RDF+XMLBibTeXRIOXX2 XMLRDF+N-TriplesJSONDublin CoreAtomSimple MetadataReferMETSHTML CitationASCII CitationOpenURL ContextObjectEndNoteOpenURL ContextObject in SpanMODSMPEG-21 DIDLEP3 XMLData Cite XMLRIS (EndNote Online, Zotero, Ref manager, etc)RDF+N3Multiline CSV
• Item metadata

  Item type:	Article
  ID code:	60190
  Dates:	Date Event 30 November 2015 Published 18 November 2015 Accepted
  Subjects:	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:	11 Nov 2024 11:29
  Related URLs:	Author Event
  URI:	https://strathprints.strath.ac.uk/id/eprint/60190