Generating Optimal Distinguishing Sequences for Testing Timed Protocols.

Published in: J. Autom. Lang. Comb. (2011)

Keyphrases

hidden markov models
test sequences
automatically generating
data sets
web services
optimal solution
sequential patterns
optimal control