Jan Peleska Helge Löding Tatiana Kotas Test Automation Meets Static Analysis. 280-290 2007 GI Jahrestagung (2) conf/gi/2007-2 db/conf/gi/gi2007-2.html#PeleskaLK07