Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Comparing Four Static Analysis Tools for Java Concurrency Bugs
Responsible organisation
2010 (English)Conference paper, (Refereed) Published
Abstract [en]

Static analysis (SA) tools are being used for early detection of software defects. Concurrency bugs are different from bugs in sequential programs, and they are often harder to detect. This paper presents the evaluation of four static analysis tools and their capabilities to detect Java concurrency bugs and bug patterns. The tools, i.e., Coverity Prevent, Jtest, FindBugs, and Jlint, are evaluated using concurrent benchmark programs and a collection of multithreaded bug patterns. In addition, we have categorized the bug pattern detectors of the tools and also identified 87 unique bug patterns from the tools’ detectors and literature.

Place, publisher, year, edition, pages
Göteborg: Göteborgs universitet , 2010.
Keyword [en]
Static Analysis, Concurrency
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:bth-7470Local ID: oai:bth.se:forskinfo5B84AA3B909B149EC12578F600499A6AOAI: oai:DiVA.org:bth-7470DiVA: diva2:835093
Conference
Third Swedish Workshop on Multi-Core Computing MCC'10
Available from: 2012-09-18 Created: 2011-08-24 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Grahn, HåkanFeldt, Robert
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

Total: 298 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf