Statechart-based use case requirement validation of event-driven systems.

Saurabh Tiwari, Atul Gupta

Browse the full SAC paper archive.