6800 search results - page 141 / 1360 » Testing with Functions as Specifications |
VTS
1999
IEEE
14 years 11 days ago
1999
IEEE
This paper presents an algorithm based on testability measurement for test point insertion of mixed-signal circuits. Two transfer function models compatible with analog models are...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We give the first algorithm that is both query-efficient and time-efficient for testing whether an unknown function f : {0, 1}n {-1, 1} is an s-sparse GF(2) polynomial versus -far ...
ROBOTICA
2010
13 years 6 months ago
2010
This paper presents a development and testing of a haptic interface compatible with a functional magnetic resonance imaging (fMRI) environment for neuroscience human motor control ...
DSVIS
2003
Springer
14 years 1 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
APPROX
2009
Springer
14 years 2 months ago
2009
Springer
Property testing is concerned with deciding whether an object (e.g. a graph or a function) has a certain property or is “far” (for some definition of far) from every object w...