Formal Passive Testing of Service-Oriented Systems.

César Andrés María-Emilia Cambronero Manuel Núñez

Published in: IEEE SCC (2010)

Keyphrases

neural network
test cases
information retrieval
formal model
software testing
real time
data sets
artificial intelligence
search engine
training data
search algorithm
preprocessing
evolutionary algorithm
mobile phone
formal language