Software is an essential part in various facets of our daily life. Mobility,production, energy supply, economics, and infrastructure, to name only afew examples, strongly depend on software. This software is not always ofhigh quality. Critical issues that arose from poor software quality are evenreported manifold publicly in the press. For example, Denver InternationalAirport opened, delayed, …