A Systematic Review of the Application and Empirical Investigation of Search-Based Test-Case Generation