R Domingos, M Greca, A Bertolino, B Miranda, L Iovino - 2023 - iris.gssi.it
Context: Software is an important part of modern life, and in most cases, it provides
tremendous benefits to society. Unfortunately, software is highly susceptible to faults. Faults …