Login / Signup

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

J. Jenny LiW. 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