1620 search results - page 36 / 324 » Testing Polymorphic Properties |
105
click to vote
ISSRE
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
113
click to vote
LFCS
1994
Springer
15 years 6 months ago
1994
Springer
We study the cube of type assignment systems, as introduced in [13], and confront it with Barendregt's typed -cube [4]. The first is obtained from the latter through applying...
112
click to vote
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
101
click to vote
ICECCS
2002
IEEE
15 years 7 months ago
2002
IEEE
Although program faults are widely studied, there are many aspects of faults that we still do not understand, particularly about OO software. In addition to the simple fact that o...
104
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Association mapping using abundant single nucleotide polymorphisms is a powerful tool for identifying disease susceptibility genes for complex traits and exploring pos...