4079 search results - page 226 / 816 » Differential Testing for Software |
CSMR
2004
IEEE
14 years 1 months ago
2004
IEEE
Within a long-term distributed systems project we repeatedly stumbled across the well-known yet difficult question to either implement from scratch or comprehend and adapt existin...
ICSM
2006
IEEE
14 years 3 months ago
2006
IEEE
Software development, testing, and maintenance tools must yield assurance information in a standardized form. Developers can use this information to argue that the software is ade...
ANCS
2010
ACM
13 years 7 months ago
2010
ACM
Software packet processing is becoming more important to enable differentiated and rapidly-evolving network services. With increasing numbers of programmable processor and acceler...
BMCBI
2010
13 years 9 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...
BMCBI
2010
13 years 9 months ago
2010
Background: Massively parallel sequencing readouts of epigenomic assays are enabling integrative genome-wide analyses of genomic and epigenomic variation. Pash 3.0 performs sequen...