A systematic literature review of actionable alert identification techniques for automated static code analysis
S Heckman, L Williams - Information and Software Technology, 2011 - Elsevier
CONTEXT: Automated static analysis (ASA) identifies potential source code anomalies early
in the software development lifecycle that could lead to field failures. Excessive alert …
in the software development lifecycle that could lead to field failures. Excessive alert …
Survey of approaches for postprocessing of static analysis alarms
T Muske, A Serebrenik - ACM Computing Surveys (CSUR), 2022 - dl.acm.org
Static analysis tools have showcased their importance and usefulness in automated
detection of defects. However, the tools are known to generate a large number of alarms …
detection of defects. However, the tools are known to generate a large number of alarms …
Survey of approaches for handling static analysis alarms
T Muske, A Serebrenik - 2016 IEEE 16th International Working …, 2016 - ieeexplore.ieee.org
Static analysis tools have showcased their importance and usefulness in automated
detection of code anomalies and defects. However, the large number of alarms reported and …
detection of code anomalies and defects. However, the large number of alarms reported and …
Mitigating false positive static analysis warnings: Progress, challenges, and opportunities
Static analysis (SA) tools can generate useful static warnings to reveal the problematic code
snippets in a software system without dynamically executing the corresponding source code …
snippets in a software system without dynamically executing the corresponding source code …
Structural testing for message‐passing concurrent programs: an extended test model
Developing high‐quality, error‐free message‐passing concurrent programs is not trivial.
Although a number of different primitives with associated semantics are available to assist …
Although a number of different primitives with associated semantics are available to assist …
Efficient testing of concurrent programs with abstraction-guided symbolic execution
In this work we present an abstraction-guided symbolic execution technique that quickly
detects errors in concurrent programs. The input to the technique is a set of target locations …
detects errors in concurrent programs. The input to the technique is a set of target locations …
Depth-first heuristic search for software model checking
J Maeoka, Y Tanabe, F Ishikawa - Computer and Information Science 2015, 2016 - Springer
Software model checkers, such as Java PathFinder (JPF), can be used to detect failures in
software. However, the state space explosion is a serious problem because the size of the …
software. However, the state space explosion is a serious problem because the size of the …
Clash of the titans: tools and techniques for hunting bugs in concurrent programs
In this work we focus on creating a benchmark suite of concurrent programs for various
programming languages to evaluate the bug detection capabilities of various tools and …
programming languages to evaluate the bug detection capabilities of various tools and …
Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs
Testing is a key activity to assure the quality of concurrent applications. In recent years, a
variety of different mechanisms have been proposed to test concurrent software. However, a …
variety of different mechanisms have been proposed to test concurrent software. However, a …
ITS-Engineering: providing adaptive teaching in the engineering tutor
C Srisethanil, N Baker - Proceedings Frontiers in Education …, 1995 - ieeexplore.ieee.org
The successful learning of an engineering student depends substantially on the instructor's
ability to adapt instruction, both the content and the various teaching styles, to individual …
ability to adapt instruction, both the content and the various teaching styles, to individual …