169 search results - page 23 / 34 » Towards a Framework for Constraint-Based Test Case Generatio... |
MKWI
2008
13 years 9 months ago
2008
: Along with rapidly changing market requirements for service-oriented business software new challenges for quality management, quality assurance, and testing arise. Customers must...
SPIN
2004
Springer
14 years 25 days ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
CAINE
2008
13 years 9 months ago
2008
Sensor networks have been used in many applications such as health monitoring, structural monitoring, transportation networks, weather prediction, and border security. In most of ...
LREC
2008
13 years 9 months ago
2008
The aim of this paper is to present the design of a multimodal database suitable for research on new possibilities for automatic diagnosis of patients with severe obstructive slee...
BMCBI
2010
13 years 7 months ago
2010
Background: DNA microarrays provide an efficient method for measuring activity of genes in parallel and even covering all the known transcripts of an organism on a single array. T...