Search-based testing in financial applications