Login / Signup

Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.

Xianghua Deng RobbyJohn Hatcliff
Published in: SEFM (2007)
Keyphrases
  • optimal solution
  • optimization algorithm
  • pattern matching
  • convergence rate
  • particle swarm optimization
  • solution space