Thread-Based Analysis of Sequence Diagrams.

Haitao Dan, Robert M. Hierons, Steve Counsell

Browse the full FORTE paper archive.