Translated abstract:
Motiviert durch den hohen Bedarf an sicherer Software werden neue Testmethoden bereitgestellt, um moderne Entwicklungsprozesse zu verbessern. Durch die Formulierung Feedback-basierten Fuzzings in der Sprache stochastischer Prozesse wird das Gebiet der Wahrscheinlichkeitstheorie mit gängigen Testtechnologien verbunden. Dieses mathematische Modell ermöglicht es, tiefgreifende Resultate aus der Wahrscheinlichkeitstheorie in Algorithmen zum Testen von Software zu übersetzen.