4079 search results - page 580 / 816 » Differential Testing for Software |
158
click to vote
CIKM
2009
Springer
15 years 2 months ago
2009
Springer
Standard approaches to evaluating and comparing information retrieval systems compute simple averages of performance statistics across individual topics to measure the overall sys...
166
click to vote
FAST
2009
15 years 2 months ago
2009
Rapid adoption of virtualization technologies has led to increased utilization of physical resources, which are multiplexed among numerous workloads with varying demands and impor...
172
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Next generation ultra-sequencing technologies are starting to produce extensive quantities of data from entire human genome or exome sequences, and therefore new softw...
185
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Alternative splicing of pre-mature RNA is an important process eukaryotes utilize to increase their repertoire of different protein products. Several types of differen...
134
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...