Axiomatic Test Sequence Generation for Extended Finite State Machines.

Chang-Jia Wang, Ming T. Liu

Browse the full ICDCS paper archive.