A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search