6800 search results - page 140 / 1360 » Testing with Functions as Specifications |
BMCBI
2007
13 years 8 months ago
2007
Background: Genome-wide identification of specific oligonucleotides (oligos) is a computationallyintensive task and is a requirement for designing microarray probes, primers, and ...
FASE
2004
Springer
14 years 1 months ago
2004
Springer
TOBIAS is a combinatorial testing tool, aimed at the production of large test suites. In this paper, TOBIAS is applied to conformance tests for model-based specifications (express...
SAFECOMP
1998
Springer
14 years 9 days ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
HASE
2002
IEEE
14 years 1 months ago
2002
IEEE
Web services received significant attention recently and several important web service platforms such as .NET are now available. The testing and evaluation of web services are imp...
APPROX
2004
Springer
14 years 1 months ago
2004
Springer
In standard property testing, the task is to distinguish between objects that have a property P and those that are ε-far from P, for some ε > 0. In this setting, it is perfec...