Automatic Test Generation from Communicating Extended Finite State Machine (CEFSM)-Based Models.
VenueCISORC
Year2002
ProceedingsSymposium on Object-Oriented Real-Time Distributed Computing
DBLP recordconf/isorc/LiW02 ↗
Browse the full ISORC paper archive.