4079 search results - page 154 / 816 » Differential Testing for Software |
168
click to vote
ACMSE
2007
ACM
15 years 10 months ago
2007
ACM
Testing is an essential but often under-utilized area of software engineering. A variety of software testing techniques have been developed to effectively identify bugs in source ...
167
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
195
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Array CGH (Comparative Genomic Hybridisation) is a molecular cytogenetic technique for the genome wide detection of chromosomal imbalances. It is based on the cohybrid...
166
click to vote
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
181
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: In gene expression analysis, statistical tests for differential gene expression provide lists of candidate genes having, individually, a sufficiently low p-value. Howe...