Sign in

Enhancing reuse of constraint solutions to improve symbolic execution.

Xiangyang JiaCarlo GhezziShi Ying
Published in: ISSTA (2015)
Keyphrases
  • symbolic execution
  • static analysis
  • data sets
  • neural network
  • genetic algorithm
  • artificial intelligence
  • test data generation