12745 search results - page 38 / 2549 » Automating test automation |
DAC
2002
ACM
14 years 10 months ago
2002
ACM
DLOG
2009
13 years 7 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
MSS
1999
IEEE
14 years 1 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
GIS
2000
ACM
13 years 9 months ago
2000
ACM
EXTREME
2004
ACM
14 years 3 months ago
2004
ACM
Large volumes of XML document instances are created by conversion systems that rely on heuristic-based tagging. Quality assurance is typically conducted on individual document ins...