Login / Signup

Efficient Program Verification Using Binary Trees and Program Slicing.

Masakazu TakahashiNoriyoshi MizukoshiKazuhiko Tsuda
Published in: KES (2004)
Keyphrases
  • binary trees
  • program slicing
  • machine learning
  • expert systems
  • high dimensional
  • fuzzy logic
  • reverse engineering