3424 search results - page 133 / 685 » Automated Testing of Classes |
134
click to vote
DSOM
2007
Springer
16 years 17 days ago
2007
Springer
Interoperability testing is an inherently distributed task. It connects different implementations together and determines if they interact according to their specifications, prov...
184
click to vote
ICSE
2007
IEEE-ACM
16 years 16 days ago
2007
IEEE-ACM
We present the tool TAXI which implements the XMLbased Partition Testing approach for the automated generation of XML Instances conforming to a given XML Schema. In addition it pr...
136
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
148
click to vote
AAAI
1992
15 years 7 months ago
1992
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
199
click to vote
AIRWEB
2008
Springer
15 years 8 months ago
2008
Springer
As web search providers seek to improve both relevance and response times, they are challenged by the ever-increasing tax of automated search query traffic. Third party systems in...