Sciweavers

4276 search results - page 27 / 856
» Techniques for Empirical Validation
Sort
View
IJAR
2008
92views more  IJAR 2008»
13 years 7 months ago
Predicting causality ascriptions from background knowledge: model and experimental validation
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on backgroun...
Jean-François Bonnefon, Rui Da Silva Neves,...
JSS
2002
101views more  JSS 2002»
13 years 7 months ago
Software requirements validation via task analysis
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
DATE
2005
IEEE
105views Hardware» more  DATE 2005»
14 years 1 months ago
Mutation Sampling Technique for the Generation of Structural Test Data
Our goal is to produce validation data that can be used as an efficient (pre) test set for structural stuck-at faults. In this paper, we detail an original test-oriented mutation ...
Mathieu Scholivé, Vincent Beroulle, Chantal...
BMCBI
2010
158views more  BMCBI 2010»
13 years 7 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
GECCO
2009
Springer
156views Optimization» more  GECCO 2009»
14 years 2 months ago
Insight knowledge in search based software testing
Software testing can be re-formulated as a search problem, hence search algorithms (e.g., Genetic Algorithms) can be used to tackle it. Most of the research so far has been of emp...
Andrea Arcuri