Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines.

Samuel Huang, David Lee, Mark G. Staskauskas

Browse the full FORTE paper archive.