Sciweavers

5159 search results - page 52 / 1032
» Structural Testing of Executables
Sort
View
BMCBI
2010
176views more  BMCBI 2010»
13 years 8 months ago
Haplotype association analyses in resources of mixed structure using Monte Carlo testing
Background: Genomewide association studies have resulted in a great many genomic regions that are likely to harbor disease genes. Thorough interrogation of these specific regions ...
Ryan Abo, Jathine Wong, Alun Thomas, Nicola J. Cam...
SIGMOD
2009
ACM
121views Database» more  SIGMOD 2009»
14 years 11 months ago
Query-aware shrinking test databases
Keeping the test databases as small as possible leads to faster execution of tests and facilitates the task of completing the test cases and evaluating the actual outputs against ...
Claudio de la Riva, Javier Tuya, María Jos&...
FORMATS
2003
Springer
14 years 4 months ago
Time-Optimal Test Cases for Real-Time Systems
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
Anders Hessel, Kim Guldstrand Larsen, Brian Nielse...
ICSE
2008
IEEE-ACM
14 years 12 months ago
The effect of program and model structure on mc/dc test adequacy coverage
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Hei...
ICCAD
2006
IEEE
126views Hardware» more  ICCAD 2006»
14 years 8 months ago
Exploring linear structures of critical path delay faults to reduce test efforts
It has been shown that the delay of a target path can be composed linearly of other path delays. If the later paths are robustly testable (with known delay values), the target pat...
Shun-Yen Lu, Pei-Ying Hsieh, Jing-Jia Liou