Optimization Methods for Nop-Shadows Typestate Analysis.

Chengsong Wang Xiaoguang Mao Yan Lei Peng Zhang

Published in: IEICE Trans. Inf. Syst. (2015)

Keyphrases

optimization methods
optimization problems
optimization method
optimization approaches
bayesian networks
evolutionary algorithm
statistical analysis
search methods
global convergence
continuous optimization
stochastic methods