21183 search results - page 4183 / 4237 » Adaptive Testing by Test |
137
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
165
Voted
PIMRC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In wireless ad hoc networks, multiple access interference is the limiting factor for the overall system performance. The lack of any central control unit necessitates a c...
164
click to vote
PROPERTYTESTING
2010
15 years 1 months ago
2010
We initiate the study of sublinear-time algorithms in the external memory model [Vit01]. In this model, the data is stored in blocks of a certain size B, and the algorithm is char...
215
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
140
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...