1722 search results - page 44 / 345 » Generating Tests from Counterexamples |
CSB
2003
IEEE
15 years 3 months ago
2003
IEEE
DNA microarrays are a valuable tool for massively parallel DNA-DNA hybridization experiments. Currently, most applications rely on the existence of sequence-specific oligonucleot...
MIDDLEWARE
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The performance of multi-tier systems is known to be significantly degraded by workloads that place bursty service demands on system resources. Burstiness can cause queu...
RE
2004
Springer
15 years 3 months ago
2004
Springer
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major ca...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Keeping requirements specification up-to-date during the evolution of a software system is an expensive task. Consequently, specifications are usually not updated and rapidly beco...
MBEES
2010
14 years 8 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...