229 search results - page 7 / 46 » Assessing, Comparing, and Combining Statechart- based testin... |
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
14 years 1 months ago
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...
BMCBI
2008
13 years 7 months ago
2008
In studies that use DNA arrays to assess changes in gene expression, it is preferable to measure the significance of treatment effects on a group of genes from a pathway or functi...
MBEES
2008
13 years 9 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
ET
2000
13 years 7 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
SIGIR
2004
ACM
14 years 1 months ago
2004
ACM
Forming test collection relevance judgments from the pooled output of multiple retrieval systems has become the standard process for creating resources such as the TREC, CLEF, and...