Usability and the use of automated static analysis tools in the software development process have been an evolving subject of research in the last decades. Several studies shed light on issues like high false positive rates and low comprehensibility, which hinder tool adoption for even software engineers. Yet, the tools' perceived usefulness and ease of use play a much larger role when it comes to untrained software developers, as is usually the case in scientific software development. In this paper, we outline a multi-stage interview study to learn more about how scientists come to accept and use static analysis tools
Background: Developers use Static Analysis Tools (SATs) to control for potential quality issues in s...
Automatic static analysis tools (ASATs) are instruments that support code quality assessment by auto...
Automatic static analysis tools (ASATs) are tools that support automatic code quality evaluation of ...
While industrial-strength static analysis over large, real-world codebases has become commonplace, s...
There has been tremendous progress in static software analysis over the last years with, for example...
Context: Static code analysis is a software verification technique that refers to the process of exa...
This is a post-peer-review, pre-copyedit version of an article published in Empirical Software Engin...
International audienceData science software is playing an increasingly important role in every aspec...
There has been tremendous progress in static software analysis over the last years with, for example...
AbstractTools based on static analysis can be used to find defects in programs. Tools that do shallo...
Static analysis can be a valuable quality assurance technique as it can find problems by analysing t...
Automated static analysis tools can perform efficient thorough checking of important properties of, ...
Context: Software development is moving towards a place where data about development is gathered in ...
At Microsoft, we now regularly apply a new generation of static analysis tools that can automaticall...
Almost all software contains defects. Some defects are found easily while others are never found, ty...
Background: Developers use Static Analysis Tools (SATs) to control for potential quality issues in s...
Automatic static analysis tools (ASATs) are instruments that support code quality assessment by auto...
Automatic static analysis tools (ASATs) are tools that support automatic code quality evaluation of ...
While industrial-strength static analysis over large, real-world codebases has become commonplace, s...
There has been tremendous progress in static software analysis over the last years with, for example...
Context: Static code analysis is a software verification technique that refers to the process of exa...
This is a post-peer-review, pre-copyedit version of an article published in Empirical Software Engin...
International audienceData science software is playing an increasingly important role in every aspec...
There has been tremendous progress in static software analysis over the last years with, for example...
AbstractTools based on static analysis can be used to find defects in programs. Tools that do shallo...
Static analysis can be a valuable quality assurance technique as it can find problems by analysing t...
Automated static analysis tools can perform efficient thorough checking of important properties of, ...
Context: Software development is moving towards a place where data about development is gathered in ...
At Microsoft, we now regularly apply a new generation of static analysis tools that can automaticall...
Almost all software contains defects. Some defects are found easily while others are never found, ty...
Background: Developers use Static Analysis Tools (SATs) to control for potential quality issues in s...
Automatic static analysis tools (ASATs) are instruments that support code quality assessment by auto...
Automatic static analysis tools (ASATs) are tools that support automatic code quality evaluation of ...