Sciweavers

2006 search results - page 51 / 402
» Testing with Respect to Concerns
Sort
View
BMCBI
2010
158views more  BMCBI 2010»
13 years 9 months ago
Validation of differential gene expression algorithms: Application comparing fold-change estimation to hypothesis testing
Background: Sustained research on the problem of determining which genes are differentially expressed on the basis of microarray data has yielded a plethora of statistical algorit...
Corey M. Yanofsky, David R. Bickel
EMSOFT
2005
Springer
14 years 2 months ago
Random testing of interrupt-driven software
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...
John Regehr
AADEBUG
2005
Springer
13 years 10 months ago
Random testing of C calling conventions
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
Christian Lindig
CSDA
2004
87views more  CSDA 2004»
13 years 8 months ago
Unconditional exact tests for the difference of binomial probabilities - contrasted and compared
Various exact tests for showing a difference between two treatments or the noninferiority (therapeutic equivalence) based on the difference of two binomial proportions are compare...
G. Skipka, Axel Munk, G. Freitag
ICST
2010
IEEE
13 years 7 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...