News for hackers. Stuff that matters.
Re:You Don't Know Jack About Formal Verification by atoav on Tuesday June 30, 2026 @12:58AM (#48728627)
I mean the cumbersome gold standard is literally just using the program. Fictional dialogue:

  A: Is it possible to pay for a product on Firefox mobile?   
  
  B: Yeah, I manually test it for each new version  
  
Please let us not forget: any automated solution is just there to reduce the amount of manual testing needed.

Of course that is a lot of work and testing every possible combination of situations, technologies etc is probably not feasible, but you shoud have a checklist that you follow, if there are tests you can't automate.

There are no comments on this comment yet.