TripAdvisor: Using Verify To Test Concepts for a Mobile App