1620 search results - page 23 / 324 » Testing Polymorphic Properties |
102
click to vote
PTS
2010
15 years 9 days ago
2010
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
135
click to vote
LICS
2010
IEEE
15 years 10 days ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
116
click to vote
ISSRE
2002
IEEE
15 years 6 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
BMCBI
2008
15 years 2 months ago
2008
Background: Genome-wide association studies (GWAS) using single nucleotide polymorphism (SNP) markers provide opportunities to detect epistatic SNPs associated with quantitative t...