Login / Signup

Detecting implied scenarios in message sequence chart specifications.

Sebastián UchitelJeff KramerJeff Magee
Published in: ESEC / SIGSOFT FSE (2001)
Keyphrases