Skip to search formSkip to main contentSkip to account menu
Feedback-Directed Random Test Generation
TLDR
Experimental results indicate that feedback-directed random test generation can outperform systematic and undirectedrandom test generation, in terms of coverage and error detection.
View on ACM
Use of relative code churn measures to predict system defect density
TLDR
A technique for early prediction of system defect density using a set of relative code churn measures that relate the amount of churn to other variables such as component size and the temporal extent of churn, which shows that while absolute measures of code chum are poor predictors of defect density, these measures are highly predictive of defectdensity.
View on ACM
The SLAM project: debugging system software via static analysis
TLDR
This work has successfully applied the SLAM toolkit to Windows XP device drivers, to both validate behavior and find defects in their usage of kernel APIs.
View on ACM
Finding and Reproducing Heisenbugs in Concurrent Programs
TLDR
For each bug, CHESS consistently reproduces an erroneous execution manifesting the bug, thereby making it significantly easier to debug the problem.
View Paper
Automatically validating temporal safety properties of interfaces
TLDR
A process for validating temporal safety properties of software that uses a well-defined interface is presented, and it is found that the process converges on a set of predicates powerful enough to validate properties in just a few iterations.
View on ACM
Exploiting hardware performance counters with flow and context sensitive profiling
TLDR
This paper extends previous work on efficient path profiling to flow sensitive profiling, which associates hardware performance metrics with a path through a procedure, and describes a data structure, the calling context tree, that efficiently captures calling contexts for procedure-level measurements.
View on ACM
Mining metrics to predict component failures
TLDR
Using principal component analysis on the code metrics, this work built regression models that accurately predict the likelihood of post-release defects for new entities and can be generalized to arbitrary projects.
View on ACM
Bebop: A Symbolic Model Checker for Boolean Programs
TLDR
Bbop represents control flow explicitly, and sets of states implicitly using BDDs, and is able to model check boolean programs with several thousand lines of code, hundreds of procedures, and several thousand variables in a few minutes.
View via Publisher
Boolean and Cartesian abstraction for model checking C programs
We show how to attack the problem of model checking a C program with recursive procedures using an abstraction that we formally define as the composition of the Boolean and the Cartesian…
View on Springer
Thorough static analysis of device drivers
TLDR
The Static Driver Verifier tool (SDV) uses this engine to find kernel API usage errors in a driver, and discusses the techniques used in SDV to meet these requirements, and empirical results from running SDV on over one hundred Windows device drivers.
View on ACM
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License