Detecting implied scenarios in message sequence chart specifications.

Sebastián Uchitel Jeff Kramer Jeff Magee

Published in: ESEC / SIGSOFT FSE (2001)

Keyphrases

email
formal specification
real world
machine learning
specification language
decision trees
multi agent
sequence analysis
pseudorandom
automatic detection
anomaly detection
input data
distributed systems
real time
multiscale
image sequences
computer vision
learning algorithm
neural network