3 ms·

What methods/techniques/processes would have caught this? What's the most cost effective of those? (Are those even the right questions?)

• ylyn 5y ago
  Fuzzing is probably the most likely, but even then..
• wbl 5y ago
  Formal verification assuming you can even specify the problem well enough.