Adaptive Grey-Box Fuzz-Testing with Thompson Sampling
Symbolic execution with mixed concrete-symbolic solving