DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection. The derived invariants exclude many unwanted values from the program’s input domain. S. Statically analyze the program within the restricted input domain to explore many paths. D. Automatically generate test cases that focus on verifying the results of the static analysis. Thereby confirmed results are never false positives, as opposed to the high false positive rate inherent in conservative static analysis. This three-step approach yields benefits compared to past two-step combinations in the literature. In our evaluation with third-party applications, we demonstrat...
Static program analysis and model checking are two dif-ferent techniques in bug detection that perfo...
Due to copyright restrictions, the access to the full text of this article is only available via sub...
Almost all software contains defects. Some defects are found easily while others are never found, ty...
Abstract. Safety-critical software in industry is typically subjected to both dy-namic testing as we...
We introduce the concept of “residual investigation ” for program analysis. A residual investigation...
Automated static analysis tools can perform efficient thorough checking of important properties of, ...
Catching bugs in programs is difficult and time-consuming. The effort of debugging and proving corre...
Advanced static-analysis tools for finding programming errors have become very popular recently. The...
Any programming error that can be revealed before compiling a program saves precious time for the pr...
Software assurance is of paramount importance given the increasing impact of software on our lives. ...
textMany challenges in software quality can be tackled with dynamic analysis. However, these techniq...
Recent years have seen great advances in software engineering and programming languages, and more an...
Abstract. We report on a successful preliminary experience in the de-sign and implementation of a sp...
International audienceRecent research proposed efficient methods for software verification combining...
This thesis describes the generation and use of program invariants to improve software reliability. ...
Static program analysis and model checking are two dif-ferent techniques in bug detection that perfo...
Due to copyright restrictions, the access to the full text of this article is only available via sub...
Almost all software contains defects. Some defects are found easily while others are never found, ty...
Abstract. Safety-critical software in industry is typically subjected to both dy-namic testing as we...
We introduce the concept of “residual investigation ” for program analysis. A residual investigation...
Automated static analysis tools can perform efficient thorough checking of important properties of, ...
Catching bugs in programs is difficult and time-consuming. The effort of debugging and proving corre...
Advanced static-analysis tools for finding programming errors have become very popular recently. The...
Any programming error that can be revealed before compiling a program saves precious time for the pr...
Software assurance is of paramount importance given the increasing impact of software on our lives. ...
textMany challenges in software quality can be tackled with dynamic analysis. However, these techniq...
Recent years have seen great advances in software engineering and programming languages, and more an...
Abstract. We report on a successful preliminary experience in the de-sign and implementation of a sp...
International audienceRecent research proposed efficient methods for software verification combining...
This thesis describes the generation and use of program invariants to improve software reliability. ...
Static program analysis and model checking are two dif-ferent techniques in bug detection that perfo...
Due to copyright restrictions, the access to the full text of this article is only available via sub...
Almost all software contains defects. Some defects are found easily while others are never found, ty...