Text this: Using memetic algorithm for robustness testing of contract-based software models.