Test Generation by Using Component Composition Abstraction Refinement.

Ying Chen Ye Tian Hongwei Zeng

Published in: ACIS-ICIS (2011)

Keyphrases

test generation
test cases
design automation
test sequences
static analysis
symbolic execution
mutation testing
quality assurance
software testing
high level
test data generation
code coverage
real world
data sets
regression testing
case study
web services