1414 search results - page 73 / 283 » Automated Metamorphic Testing |
DSOM
2007
Springer
14 years 3 months 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...
ICSE
2007
IEEE-ACM
14 years 3 months 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...
CADE
2007
Springer
14 years 9 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...
AAAI
1992
13 years 10 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...
ICCAD
2002
IEEE
14 years 5 months ago
2002
IEEE
With increasing design sizes and adoption of System on a Chip (SoC) methodology, design synthesis and test automation tools are hitting capacity and performance bottlenecks. Curre...