International audienceData science software is playing an increasingly important role in every aspect of our daily lives and is even slowly creeping into mission critical scenarios, despite being often opaque and unpredictable. In this paper, we will discuss some key challenges and a number of research questions that we are currently addressing in developing static analysis methods and tools for data science software
Static code analysis is a powerful approach to detect quality deficiencies such as performance bottl...
Developers make use of automation to perform repetitive and potentially error- prone tasks. One such...
Nowadays, many different tools to perform static analysis on software (ASATs) are available. These c...
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...
There has been tremendous progress in static software analysis over the last years with, for example...
While industrial-strength static analysis over large, real-world codebases has become commonplace, s...
Usability and the use of automated static analysis tools in the software development process have be...
At Microsoft, we now regularly apply a new generation of static analysis tools that can automaticall...
Context: Static code analysis is a software verification technique that refers to the process of exa...
The use of automatic static analysis has been a software engineering best practice for decades. Howe...
Abstract. Static analysis examines program code and reasons over all possible behaviors that might a...
Automatic static analysis (ASA) tools analyze the source or compiled code of a software system looki...
This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysi...
The strongest successes of static analysis so far have been, on the one hand, sound analysis on safe...
Static code analysis is a powerful approach to detect quality deficiencies such as performance bottl...
Developers make use of automation to perform repetitive and potentially error- prone tasks. One such...
Nowadays, many different tools to perform static analysis on software (ASATs) are available. These c...
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...
There has been tremendous progress in static software analysis over the last years with, for example...
While industrial-strength static analysis over large, real-world codebases has become commonplace, s...
Usability and the use of automated static analysis tools in the software development process have be...
At Microsoft, we now regularly apply a new generation of static analysis tools that can automaticall...
Context: Static code analysis is a software verification technique that refers to the process of exa...
The use of automatic static analysis has been a software engineering best practice for decades. Howe...
Abstract. Static analysis examines program code and reasons over all possible behaviors that might a...
Automatic static analysis (ASA) tools analyze the source or compiled code of a software system looki...
This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysi...
The strongest successes of static analysis so far have been, on the one hand, sound analysis on safe...
Static code analysis is a powerful approach to detect quality deficiencies such as performance bottl...
Developers make use of automation to perform repetitive and potentially error- prone tasks. One such...
Nowadays, many different tools to perform static analysis on software (ASATs) are available. These c...
DOI
Add to ORKG