4079 search results - page 780 / 816 » Differential Testing for Software |
230
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
123
click to vote
RECOMB
2005
Springer
16 years 2 months ago
2005
Springer
Abstract. In order to guarantee that the optimal motif is found, traditional pattern-driven approaches perform an exhaustive search over all candidate motifs of length l. We develo...
143
click to vote
SIGMOD
2002
ACM
16 years 2 months ago
2002
ACM
This report is part of the seminar Digital Information Curation held by Prof. Dr. Marc H. Scholl and Dr. Andr?e Seifert during the winter term 2005/06. Its intention is to summari...
117
click to vote
SOSP
2003
ACM
15 years 10 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...
106
click to vote
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...