271 search results - page 22 / 55 » A Framework for Testing Model Composition Engines |
FOSSACS
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
BIOSYSTEMS
2007
13 years 8 months ago
2007
Neuro-engineering is providing biomedical engineers with technology to interface the nervous system, which is useful to create prosthetic devices to palliate sensorial or motor di...
FASE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
FATES
2003
Springer
14 years 1 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
ICCAD
2002
IEEE
14 years 5 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...