Abstract / Description of output
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.
Original language | English |
---|---|
Pages (from-to) | 1-16 |
Number of pages | 16 |
Journal | Electronic Communications of the EASST |
Volume | 72 |
DOIs | |
Publication status | Published - 2015 |
Fingerprint
Dive into the research topics of 'ThreadSafe: Static Analysis for Java Concurrency'. Together they form a unique fingerprint.Profiles
-
Don Sannella
- School of Informatics - PERSONAL CHAIR IN COMPUTER SCIENCE
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active