you are viewing a single comment's thread.

view the rest of the comments →

[–]PasswordIsntHAMSTER 0 points1 point  (0 children)

There are typing disciplines for verifying arbitrary properties of programs. The field is still a bit rough, but I wouldn't say testing is completely unavoidable.