Metamorphic relation automation: Rationale, challenges, and solution directions. - Emran Altamimi; Abdullah Elkawakjy; Cagatay Catal (J. Softw. Evol. Process., 2023)