Local Testing of Message Sequence Charts Is Difficult.

Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar

Browse the full FCT paper archive.