Login / Signup

A Program Simplification Method for Generating Test Input Values Using Symbolic Execution.

Ryo SogaTetsuya YonemitsuMitsuo InagakiYasushi FujisakiHiroo SugouHideyuki Kanuka
Published in: APSEC (2020)
Keyphrases
  • objective function
  • genetic algorithm
  • relational databases
  • symbolic execution
  • databases
  • optimization algorithm
  • error rate
  • hybrid algorithm
  • simulated annealing algorithm