Login / Signup
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.
Xianghua Deng
Robby
John Hatcliff
Published in:
SEFM (2007)
Keyphrases
</>
optimal solution
optimization algorithm
pattern matching
convergence rate
particle swarm optimization
solution space