1620 search results - page 57 / 324 » Testing Polymorphic Properties |
120
click to vote
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
115
click to vote
AML
2010
15 years 2 months ago
2010
A Schnorr test relative to some oracle A may informally be called "universal" if it covers all Schnorr tests. Since no true universal Schnorr test exists, such an A cann...
163
Voted
ICST
2009
IEEE
15 years 7 days ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
110
click to vote
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
On open and controversial issue in empirical data analysis is to decide whether scaling and multifractal properties observed in empirical data actually exist, or whether they are ...
147
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Genome wide association (GWA) studies are now being widely undertaken aiming to find the link between genetic variations and common diseases. Ideally, a well-powered G...