Constraint optimization, large-scale, multiobjective optimization, exploration and exploitation, adjust stages, fuzzy evolution.
Symbolic Execution, Constraint Solving, Fuzzing, Real Arithmetic, Floating Point