As our daily lives are increasingly dependent on software, it becomes essential to guarantee that systems behave as expected, as software failures can cause loss of information, financial loss, and ...