Sciweavers

2006 search results - page 51 / 402
» Testing with Respect to Concerns
Sort
View
BMCBI
2010
158views more  BMCBI 2010»
14 years 12 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
15 years 5 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
15 years 1 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»
14 years 11 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
14 years 10 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...