Automatic Test Generation from Communicating Extended Finite State Machine (CEFSM)-Based Models

J. Jenny Li, W. Eric Wong. Automatic Test Generation from Communicating Extended Finite State Machine (CEFSM)-Based Models. In Symposium on Object-Oriented Real-Time Distributed Computing. pages 181, 2002. [doi]

Abstract

Abstract is missing.