4079 search results - page 708 / 816 » Differential Testing for Software |
153
click to vote
ASPLOS
2006
ACM
16 years 22 days ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
140
click to vote
ISSTA
2006
ACM
16 years 22 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...
175
click to vote
ML
2006
ACM
16 years 22 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 ...
153
click to vote
MM
2006
ACM
16 years 22 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...
182
click to vote
NSPW
2006
ACM
16 years 22 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...