Sign in

Formal Derivation of Finite State Machines for Class Testing.

Leesa MurrayDavid A. CarringtonIan MacCollJason McDonaldPaul A. Strooper
Published in: ZUM (1998)
Keyphrases
  • finite state machines
  • finite state automata
  • model checking
  • digital circuits
  • database
  • neural network
  • data sets
  • relational databases
  • hidden markov models
  • formal model
  • test generation
  • mutation testing