5030 search results - page 821 / 1006 » cases 2007 |
170
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
155
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Enterprise systems must guarantee high availability and reliability to provide 24/7 services without interruptions and failures. Mechanisms for handling exceptional cases and impl...
149
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
The traditional method of software robustness evaluation, through error injection, is for errors to be injected at reaching a specific code location. This paper studies what impa...
158
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
190
click to vote
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
Advances in server, network, and storage virtualization are enabling the creation of resource pools of servers that permit multiple application workloads to share each server in t...