Login / Signup

Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols.

Pramila MouttappaStephane MaagAna R. Cavalli
Published in: Comput. Networks (2013)
Keyphrases
  • symbolic execution
  • communication protocols
  • static analysis
  • test data generation
  • source code
  • test generation
  • neural network
  • search algorithm
  • open source
  • ad hoc networks
  • specification language