6800 search results - page 93 / 1360 » Testing with Functions as Specifications |
BIOCOMP
2008
15 years 4 months ago
2008
ct The enrichment and recall of known inhibitors in a virtual screen are correlated with the probability of finding effective inhibitors through this process. In practice, a large ...
134
click to vote
FMOODS
2007
15 years 4 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
139
Voted
ACL
2010
15 years 19 days ago
2010
We present a method for automatically generating focused and accurate topicspecific subjectivity lexicons from a general purpose polarity lexicon that allow users to pin-point sub...
99
Voted
ICCAD
2000
IEEE
15 years 7 months ago
2000
IEEE
A method to select the lengths of functional sequences in a BIST scheme for scan designs is proposed in this paper. A functional sequence is a sequence of primary input vectors ap...
116
Voted
ENTCS
2002
15 years 2 months ago
2002
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...