The future of grey-box fuzzing
The Oracle Problem in Software Testing: A Survey