Login / Signup

Efficient and formal generalized symbolic execution.

Xianghua DengJooyong Lee Robby
Published in: Autom. Softw. Eng. (2012)
Keyphrases
  • symbolic execution
  • neural network
  • artificial intelligence
  • decision trees
  • data model
  • business rules
  • test data generation