Critical parts are typed up by hand and, despite a wealth of testing tools that claim to catch bugs, the complexity of software makes security flaws and errors nearly unavoidable and increasingly common.

FORBES: Saving Software From Itself