Login / Signup
Automatic Test Generation from Communicating Extended Finite State Machine (CEFSM)-Based Models.
J. Jenny Li
W. Eric Wong
Published in:
Symposium on Object-Oriented Real-Time Distributed Computing (2002)
Keyphrases
</>
finite state machines
test generation
test cases
mutation testing
database systems
state machine
data sets
software engineering
software systems
model checking