40 search results - page 3 / 8 » DSD-Crasher: a hybrid analysis tool for bug finding |
COMPSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
ISSTA
2012
ACM
11 years 7 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
ICSE
2009
IEEE-ACM
13 years 3 months ago
2009
IEEE-ACM
Statistical debugging aims to automate the process of isolating bugs by profiling several runs of the program and using statistical analysis to pinpoint the likely causes of failu...
MODELS
2009
Springer
13 years 11 months ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
MSR
2005
ACM
13 years 10 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...