Sciweavers

6014 search results - page 232 / 1203
» Structural Testing with Use Cases
Sort
View
BMCBI
2007
95views more  BMCBI 2007»
15 years 4 months ago
Haplotype-based score test for linkage in nuclear families
Background: To look for genetic linkage between angiotensin-I converting enzyme(ACE) gene and hypertension in a Korean adolescent cohort, we developed a powerful test using the co...
Chung Mo Nam, Dae Ryong Kang, Jinheum Kim
STOC
2009
ACM
99views Algorithms» more  STOC 2009»
16 years 4 months ago
Testing juntas nearly optimally
A function on n variables is called a k-junta if it depends on at most k of its variables. In this article, we show that it is possible to test whether a function is a k-junta or ...
Eric Blais
CAV
2006
Springer
165views Hardware» more  CAV 2006»
15 years 8 months ago
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...
BMCBI
2010
151views more  BMCBI 2010»
15 years 4 months ago
CCRaVAT and QuTie - enabling analysis of rare variants in large-scale case control and quantitative trait association studies
Background: Genome-wide association studies have been successful in finding common variants influencing common traits. However, these associations only account for a fraction of t...
Robert Lawrence, Aaron G. Day-Williams, Katherine ...
ICSE
2008
IEEE-ACM
16 years 5 months ago
Are fit tables really talking?: a series of experiments to understand whether fit tables are useful during evolution tasks
Test-driven software development tackles the problem of operationally defining the features to be implemented by means of test cases. This approach was recently ported to the earl...
Filippo Ricca, Massimiliano Di Penta, Marco Torchi...