Sicherheitslücken in Computerprogrammen sind riskant. Mit Fuzzing sollen sie entdeckt werden, bevor sie Schaden anrichten können. Doch die Methode ist aufwendig — bis jetzt. Prof. Andreas Zeller vom CISPA in Saarbrücken will das ändern.
Prof. Andreas Zeller verfolgt am CISPA Helmholtz-Zentrum für Informationssicherheit eine Vision: mit seinem Team Software-Bots entwickeln, die Softwaresysteme automatisch testen, debuggen und überwachen. Das Projekt heißt „S3 – Semantics of Software Systems“.
