Login / Signup

Automated compatibility testing method for software logic by using symbolic execution.

Keiji UetsukiKazuhiko TsudaTohru Matsuodani
Published in: ICST Workshops (2015)
Keyphrases
  • symbolic execution
  • database
  • genetic algorithm
  • artificial intelligence
  • decision trees
  • particle swarm optimization
  • optimization method
  • objective function
  • multi objective
  • convergence rate