Search-based testing of service level agreements