Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines.

Fan ZhangTo-Yat Cheung
Published in: IEEE Trans. Software Eng. (2003)
Keyphrases
  • finite state machines
  • decision trees
  • tree structure
  • tree structures
  • optimal solution
  • regular expressions
  • knowledge transfer
  • phylogenetic trees
  • tree construction
  • tree models
  • finite state automata