Petra van den Bos Promotor: prof.dr. F.W. Vaandrager (RU) Co-promotor: dr.ir. G.J. Tretmans (RU) Radboud University Date: 8 October 2020 Thesis: PDF Summary It is challenging to construct large and complex software programs. One little mistake in a million lines of code can cause a major defect. Such defects can …