Forschungsthemen [BA] Statische Analyse von Java-Programmen durch Motivsuche in ProgrammabhängigkeitsgraphenBetreuer: Martin Morgenstern