Seol mar théacs é seo: Neue Rechen- und Testmethoden in der Sicherheitsentwicklung