Inproceedings,

Detecting implied scenarios in message sequence chart specifications.

, , and .
ESEC / SIGSOFT FSE, page 74-82. ACM, (2001)

Meta data

Tags

Users

  • @dblp

Comments and Reviews