12745 search results - page 257 / 2549 » Automating test automation |
185
click to vote
TPHOL
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
175
click to vote
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
Improving the efficiency of e-Business usage requires the further development of automation techniques for interorganizational business processes as a major driver. Automation ca...
194
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...
