Eigentlich beschreibts nicht die erkannten Fehler, sondern alle. D.h. bleibt de facto für größere Programme immer hypothetisch, weil in der Praxis nie alle Fehler auftauchen. -- Sebastian.Dietrich 19:25, 15. Mär. 2020 (CET)