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