An Automated Approach for Goal-driven, Specification-based Testing.

Kristina Winbladh Thomas A. Alspaugh Hadar Ziv Debra J. Richardson

Published in: ASE (2006)

Keyphrases

goal driven
test case generation
software product line
service composition
test cases
semantic web services
formal verification
software testing
expert systems
software engineering
test suite
specification language
real world