Expanding an Extended Finite State Machine to aid Testability.

Robert M. Hierons, T.-H. Kim, Hasan Ural

Browse the full COMPSAC paper archive.