Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation.

Amit M. Paradkar Avik Sinha

Published in: ICSOC (2008)

Keyphrases

test generation
test cases
test sequences
service discovery
quality assurance
software testing
mutation testing
test data generation
code coverage
static analysis
web service discovery
semantic web services
web services
test suite
data sets
service oriented architecture
open source
high level
decision trees
databases