684 search results - page 80 / 137 » Improving software quality using statistical testing techniq... |
ICSE
2012
IEEE-ACM
11 years 10 months ago
2012
IEEE-ACM
—The wide variety of software development tools available today have a great potential to improve the way developers make software, but that potential goes unfulfilled when deve...
JCST
2011
13 years 2 months ago
2011
Software defect detection aims to automatically identify defective software modules for efficient software test in order to improve the quality of a software system. Although many...
DAGSTUHL
2006
13 years 9 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
MSWIM
2006
ACM
14 years 1 months ago
2006
ACM
Nowadays network bandwidth is increasing continuously for endusers and network providers. Network monitoring tools have to be able to support these high-speed networks, processing...
BMCBI
2008
13 years 7 months ago
2008
Background: High-throughput technologies like functional screens and gene expression analysis produce extended lists of candidate genes. Gene-Set Enrichment Analysis is a commonly...