Software systems are subject to frequent changes, for example to fix bugs or meet new
customer requirements. In variational software systems, developers are confronted with the …