Searched for: contributor:"Zaidman, Andy (mentor)"
(1 - 1 of 1)
van der Lippe, Tim (author)
Developers make use of automation to perform repetitive and potentially error- prone tasks. One such automation can be categorised as, which aims to analyse program properties. The particular focus of this investigation are so-called ASATs (Automatic Static Analysis Tools). These ASATs are readily available for many programming languages and can...
master thesis 2018