Using memetic algorithm for robustness testing of contract-based software models. - Bahrampour, Anvar; Rafe, Vahid (Artificial Intelligence Review, 2021)