Sciweavers

6014 search results - page 44 / 1203
» Structural Testing with Use Cases
Sort
View
SIGOPS
2010
162views more  SIGOPS 2010»
13 years 8 months ago
Visual and algorithmic tooling for system trace analysis: a case study
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
Wim De Pauw, Steve Heisig
BMCBI
2008
94views more  BMCBI 2008»
13 years 10 months ago
Structural assembly of two-domain proteins by rigid-body docking
Background: Modelling proteins with multiple domains is one of the central challenges in Structural Biology. Although homology modelling has successfully been applied for predicti...
Tammy M. K. Cheng, Tom L. Blundell, Juan Fern&aacu...
JCP
2008
114views more  JCP 2008»
13 years 10 months ago
IntelligenTester - Test Sequence Optimization Framework using Multi-Agents
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
D. Jeya Mala, V. Mohan
BMCBI
2006
142views more  BMCBI 2006»
13 years 10 months ago
PedGenie: an analysis approach for genetic association testing in extended pedigrees and genealogies of arbitrary size
Background: We present a general approach to perform association analyses in pedigrees of arbitrary size and structure, which also allows for a mixture of pedigree members and ind...
Kristina Allen-Brady, Jathine Wong, Nicola J. Camp
FSEN
2007
Springer
14 years 1 months ago
Test Selection Criteria for Quantifier-Free First-Order Specifications
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...
Marc Aiguier, Agnès Arnould, Pascale Le Gal...