Specification Coverage Aided Test Selection.

Tuomo Pyhälä Keijo Heljanko

Published in: ACSD (2003)

Keyphrases

test suite
high level
real time
machine learning
image processing
case study
similarity measure
expert systems
test cases
user defined
selection algorithm
formal specification
test case generation