搜索结果: 1-5 共查到“计算机科学技术 isolation”相关记录5条 . 查询时间(0.109 秒)
Bug Isolation via Remote Program Sampling
bug isolation random sampling assertions feature selection statistical debugging logistic regression
2016/5/24
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrate ways to use sampled i...
Many computer scientists think of a program as either correct (i.e. it meets some specification) or incorrect (i.e. it does not meet some specification). But industrial software development is as much...
Public Deployment of Cooperative Bug Isolation
Public Deployment Cooperative Bug Isolation
2016/5/24
As part of our work on Cooperative Bug Isolation (CBI) we have undertaken to instrument and distribute binaries for a number of large open source projects. This public deployment is an important step ...
Scalable Statistical Bug Isolation
bug isolation random sampling invariants feature selection statistical debugging
2016/5/24
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying predictors that correl...
Software fault isolation with API integrity and multi-principal modules
Software fault isolation multi-principal modules
2012/12/4
The security of many applications relies on the kernel being secure, but history suggests that kernel vulnerabilities are routinely discovered and exploited. In particular, exploitable vulnerabilities...