التقنيات الشكلية، مثل اختبار الـ fuzz، ضرورية لإثبات المتانة لأن هذا النوع من التجارب ينطوي على المدخلات الغير صالحة أو الغير متوقع.
Formal techniques, such as fuzz testing, are essential to showing robustness since this type of testing involves invalid or unexpected inputs.