Test Automation Meets Static Analysis. - Jan Peleska 001; Helge Löding; Tatiana Kotas (GI Jahrestagung (2), 2007)