On the Value of Static Software

A "better-late-than-never" discovery of advanced testing strategies.

How software engineering moves towards specification and validation.