Scenarios and state machines: models, algorithms, and tools.

Sebastin Uchitel, Tarja Syst, Albert Zndorf

Browse the full ICSE paper archive.