40 search results - page 8 / 8 » DSD-Crasher: a hybrid analysis tool for bug finding |
BMCBI
2005
13 years 4 months ago
2005
Background: Microscopists are familiar with many blemishes that fluorescence images can have due to dust and debris, glass flaws, uneven distribution of fluids or surface coatings...
ASPLOS
2004
ACM
13 years 10 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
COMPSAC
2001
IEEE
13 years 8 months ago
2001
IEEE
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...
JCB
2006
13 years 4 months ago
2006
Genome-wide microarray designs containing millions to hundreds of millions of probes are available for a variety of mammals, including mouse and human. These genome tiling arrays ...
BMCBI
2008
13 years 4 months ago
2008
Background: Accurate identification of splice sites in DNA sequences plays a key role in the prediction of gene structure in eukaryotes. Already many computational methods have be...