A Benchmark to Evaluation of Search Techniques in the Context of SQL Mutation Analysis.