Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers.

Mariusz A. Fecko M. Ümit Uyar Ali Y. Duale

Published in: FORTE (2003)

Keyphrases

statistical models
learning algorithm
complex systems
neural network
information retrieval
decision trees
database systems
probabilistic model
model selection
experimental data
accurate models