32 search results - page 7 / 7 » Parallel test generation and execution with Korat |
LOPSTR
2004
Springer
13 years 11 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
CLUSTER
2003
IEEE
13 years 10 months ago
2003
IEEE
— Large Clusters, high availability clusters and Grid deployments often suffer from network, node or operating system faults and thus require the use of fault tolerant programmin...