Der vorliegende Beitrag präsentiert neueste Ergebnisse einer Evaluierungsstudie über die Effizienz modellbasierter Verifikationsansätze im Hinblick auf Anzahl und Art erkennbarer Fehler. Ein seit kurzem einsatzbereites Werkzeug zur vollautomatischen modellbasierten Testfallerzeugung lieferte hierfür ein wertvolles Forschungsinstrument, das in Bezug auf die Aufdeckung von Modellierungsfehlern und Implementierungsfehlern zur Erlangung weiterer Einsichten auf diesem Gebiet verhelfen konnte.