Login / Signup

A test sequence generation method for communication protocols using the SAT algorithm.

Takanori MoriHirotaka OtsukaNobuo FunabikiAkio NakataTeruo Higashino
Published in: Systems and Computers in Japan (2003)
Keyphrases
  • generation method
  • learning algorithm
  • dynamic programming
  • detection algorithm
  • communication protocols
  • computational complexity
  • search space
  • social networks
  • objective function
  • optimal solution
  • input data