Forschungsthemen [MA] Erweiterung des Java-basierten Testwerkzeugs BEASTT zur Generierung von TestfällenBetreuer: