Title: Verifizierende Teststrategien für ausgewählte Programmklassen