Sciweavers

6014 search results - page 110 / 1203
» Structural Testing with Use Cases
Sort
View
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 2 months ago
Functional Testing in the Focal Environment
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
Matthieu Carlier, Catherine Dubois
BMCBI
2010
106views more  BMCBI 2010»
15 years 2 months ago
A novel approach for haplotype-based association analysis using family data
Background: Haplotype-based approaches have been extensively studied for case-control association mapping in recent years. It has been shown that haplotype methods can provide mor...
Yixuan Chen, Xin Li, Jing Li
SPLC
2008
15 years 3 months ago
Functional Testing of Feature Model Analysis Tools. A First Step
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
Sergio Segura, David Benavides, Antonio Ruiz Cort&...
ISSRE
2010
IEEE
15 years 27 days ago
Automating System Tests Using Declarative Virtual Machines
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
Sander van der Burg, Eelco Dolstra
BMCBI
2006
147views more  BMCBI 2006»
15 years 2 months ago
A case study in pathway knowledgebase verification
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
Stephen A. Racunas, Nigam Shah, Nina V. Fedoroff