Editorial: Putting specifications to the test.

Martin R. Woodward

Published in: Softw. Test. Verification Reliab. (2001)

Keyphrases

special issue
data sets
machine learning
test cases
test data
test suite
real time
neural network
genetic algorithm
clustering algorithm
high level
multiscale
control flow
reactive systems