Zufälliges grammatikbasiertes Testen zur Abdeckung aller Nicht-Terminals