3547 search results - page 620 / 710 » Pseudo-Exhaustive Testing for Software |
133
click to vote
ISSTA
2006
ACM
16 years 11 days ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
162
click to vote
ML
2006
ACM
16 years 11 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
147
click to vote
MM
2006
ACM
16 years 11 days ago
2006
ACM
In this paper we describe Taking Sides, a performance using a real-time speech visualization software system called TextEngine. Taking Sides is a collaboration between our researc...
169
click to vote
NSPW
2006
ACM
16 years 11 days ago
2006
ACM
In considering new security paradigms, it is often worthwhile to anticipate the direction and nature of future attack paradigms. We identify a class of attacks based on the idea o...
152
click to vote
SIGIR
2006
ACM
16 years 11 days ago
2006
ACM
We introduce and validate bootstrap techniques to compute confidence intervals that quantify the effect of test-collection variability on average precision (AP) and mean average...