|
|
|
|
|
|
by rTX5CMRXIfFG
1080 days ago
|
|
|
I can think of certain types of software that are so critical that they must be 100% thoroughly verified to be logically correct, e.g. software in surgical machines, airplanes, or high-frequency trading. The vast majority of applications, though, would survive with less coverage, though I still think that the sweet spot is somewhere between 70-80%. |
|
|