Functional requirements validation by transforming use case models into Abstract State Machines.

Patrizia Scandurra, Andrea Arnoldi, Tao Yue, Marco Dolci

Browse the full SAC paper archive.