With any non trivial system you can’t actually test every corner case. You depend on human reason to identify the ones most likely to cause problems.